78
правок
Изменения
→Тождественность и двойственность
|-
| <tex>\overline{0}=1</tex> || <tex>\overline{1}=0</tex> || <tex>\overline{\overline{x}}=x</tex>
|| <tex>xyx \land y=yxy \land x\!</tex> || <tex>x\lor y=y \lor x</tex>
|-
|| <tex>0x0 \land x=0\!</tex> || <tex>1x1 \land x=x\!</tex> || <tex>0\lor x=x</tex> || <tex>1\lor x=1</tex> || <tex>xxx \land x=x\lor x=x</tex>
|}
А проверка таблиц, построенных для некоторых суперпозиций, даст следующие результаты:
{| style="width:15cm"
|-
| <tex>x\land \overline{x}=0</tex> || <tex>x\lor\overline{x}=1</tex>
|}
{| style="width:15cm"
|-
| <tex>\overline{x\cdot land y}=\overline{x}\lor\overline{y}</tex>|| <tex>\overline{x}\cdotland\overline{y}=\overline{x\lor y}</tex> || (законы де Моргана)
|}
<tex>x\land (y\lor z)=xy(x \land y)\lor xz(x \land z)</tex><br /><tex>x\lor yz(y \land z)=(x\lor y)\land (x\lor z)</tex> (дистрибутивность конъюнкции и дизъюнкции)
{{Определение
