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