вспоминая свои уроки информатики в школе, мы расписывали по алгебре логики таблицы только с нулями и единицами, вручную считая результат входной формулы.
ну, теоретически должен происходить перевод в двоичную систему и дальше логическое сложение также делаться. через XOR таким макаром можно менять значения переменных местами без третьей переменной.