(~A /\ B) V (A /\ ~B) = F
Таблица истинности:
A | B | ~A /\ B | A /\ ~B | F
0 | 0 | ___ 0 ___ | __ 0 ___ | 0
0 | 1 | ___ 1 ___ | __ 0 ___ | 1
1 | 0 | ___ 0 ___ | __ 1 ___ | 1
1 | 1 | ___ 0 ___ | __ 0 ___ | 0
По сути это формула отрицания эквивалентности:
~(A ↔ B)
F = 1 при 2 комбинациях.