Исключающее «или»: различия между версиями

В естественном языке операция «сложение по модулю» эквивалентна двум выражениям:

# «результат истинен (равен 1), '''если''' A не равно B (A≠B)»;

 

Часто указывают на сходство между сложением по модулю 2 и конструкцией «либо … либо …» в естественном языке. Составное утверждение «либо A, либо B» считается истинным, когда истинно либо A, либо B, но не оба сразу; в противном случае составное утверждение ложно. Это в точности соответствует определению операции в булевой алгебре, если «истину» обозначать как <math>1</math>, а «ложь» как <math>0</math>.