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

Совершенные нормальные конъюнктивные и дизъюнктивные формы. Полные системы логических связок



Определение 1:Элементарной конъюнкцией называется конъюнкция переменных, каждая из которых стоит под знаком отрицания или без него. Например: , , .

Определение 2: Элементарной дизъюнкцией называется дизъюнкция переменных, каждая из которых стоит под знаком отрицания или без него. Например: , .





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



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