Хелпикс

Главная

Контакты

Случайная статья





Основные равносильности. Закон двойного отрицания. Идемпотентность. Коммутативность. Ассоциативность. Дистрибутивность. Законы де Моргана. Формулы с константами. Дополнительные равносильности



 

Основные элементарные булевы функции от двух переменных 

 

конъюнк ция дизъюнк ция имплика ция эквивалентность сложение по модулю два стрелка Пирса штрих Шеффера

 

Основные равносильности

Закон двойного отрицания

.

Идемпотентность

, .

Коммутативность

, ,

Ассоциативность

, .

Дистрибутивность

, .

Законы де Моргана

, .

Формулы с константами

, , ,

, ,    .

Дополнительные равносильности

,

,

,

,

,

,

,

,

,  (законы склеивания),

 (закон поглощения).

 (закон обобщенного склеивания).



  

© helpiks.su При использовании или копировании материалов прямая ссылка на сайт обязательна.