Цахим шуудангийн бүртгэл: Логик