Эквивалентности
В некоторых случаях сложное и длинное высказывание можно записать более коротким и простым без нарушения истинности исходного высказывания. Это можно выполнить с использованием некоторых эквивалентных соотношений.
Дизъюнкция:
х







т.е. истинность высказывания не изменится, если его заменить более коротким, таким образом, это правило приведения подобных членов:
x v x = 1 1

– постоянно истинное высказывание.
0

x1


- (переместительный) коммуникативный закон.
x1






- сочетательный закон.
Конъюнкция:
х






правило приведения подобных членов:
1

0

x
