Эквивалентности
В некоторых случаях сложное и длинное высказывание можно записать более коротким и простым без нарушения истинности исходного высказывания. Это можно выполнить с использованием некоторых эквивалентных соотношений.
Дизъюнкция:
х
![](../../../../img/symbols/or.gif)
![](../../../../img/symbols/or.gif)
![](../../../../img/symbols/or.gif)
![](../../../../img/symbols/or.gif)
![](../../../../img/symbols/or.gif)
![](../../../../img/symbols/or.gif)
![](../../../../img/symbols/or.gif)
т.е. истинность высказывания не изменится, если его заменить более коротким, таким образом, это правило приведения подобных членов:
x v x = 1 1
![](../../../../img/symbols/or.gif)
– постоянно истинное высказывание.
0
![](../../../../img/symbols/or.gif)
x1
![](../../../../img/symbols/or.gif)
![](../../../../img/symbols/or.gif)
- (переместительный) коммуникативный закон.
x1
![](../../../../img/symbols/or.gif)
![](../../../../img/symbols/or.gif)
![](../../../../img/symbols/or.gif)
![](../../../../img/symbols/or.gif)
![](../../../../img/symbols/or.gif)
![](../../../../img/symbols/or.gif)
- сочетательный закон.
Конъюнкция:
х
![](../../../../img/symbols/and.gif)
![](../../../../img/symbols/and.gif)
![](../../../../img/symbols/and.gif)
![](../../../../img/symbols/and.gif)
![](../../../../img/symbols/and.gif)
![](../../../../img/symbols/and.gif)
правило приведения подобных членов:
1
![](../../../../img/symbols/and.gif)
0
![](../../../../img/symbols/and.gif)
x
![](../../../../img/symbols/and.gif)