Составим таблицу истинности для математического вычитания.
A B A-B
0 0 0
0 1 1
1 0 1
1 1 0
Получаем, что
A-B=A xor B
, следовательно
-
:=
XOR
.
Открываем гугл: Сложе́ние по мо́дулю 2 (исключа́ющее «или», XOR, строгая дизъюнкция, поразрядное дополнение, инвертирование по маске, жегалкинское сложение,
логическое вычитание, логи́ческая неравнозна́чность) - булева функция, а также логическая и битовая операция, в случае двух переменных результат выполнения операции истинен тогда и только тогда, когда один из аргументов истинен, а второй — ложен.
Соответственно, смысл у неё во взаимной разности двух множеств, т.е. результат не принадлежит двум множествам одновременно.
A B (Необщая часть A) (Необщая часть B) (Объединения частей)
0 0 0 0 1
0 1 0 1 1
1 0 1 0 1
1 1 0 0 0