Неравнозначностью (сложением по модулю 2) ) высказываний P и Q называется высказывание P [Математическая ошибка]⊕\oplus Q, ложноеистинное , когда истинностные значения высказываний P и Q не совпадают, и ложноеистинное в противоположном случае.