192
правки
Изменения
→Алгебраические свойства
Все нижеперечисленные законы и свойства легко доказываются путём перебора всех значений входящих в них переменных.
Алгебраический подход заключается в том, чтобы определить над множеством <tex>\{-, 0, +\}</tex> двухместные (<tex>\wedge</tex>, <tex>\vee</tex>) и одноместные (<tex>'</tex>, <tex>S</tex>, <tex>\simneg</tex>) операции с помощью законов, а оставшиеся свойства уже выводить из них алгебраически.
<ol>
