Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Свойства и аксиомы элементарных логических операций



Для операции ИЛИ Для операции И  
x y = y x x y = y x Коммутативность, переместительность
(x y) z = = x (y z) = x y z (x y) z = = x (y z) = x y z Ассоциативность, сочетательность
(x y) z = x z y z (x y) z = (x z) (y z) Дистрибутивность, распределительность
x x = x x x = x Идемпотентность
= Формулы де Моргана
= x = x Поглощения
Склеивание
Операция переменной с ее инверсией
, Операции с константами
= x   Двойное отрицание




Дата публикования: 2015-04-10; Прочитано: 147 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2025 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.006 с)...