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