Главная страница Случайная страница
Разделы сайта
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Алгоритм приведения к СДНФ c помощью таблицы истинности
|
|
1. Строим таблицу значений формулы.
2. Рассматриваем только те строки, в которых значение формулы равно единице.
3. Каждой такой строке соответствует конъюнкция всех аргументов (без повторений). Причем, аргумент, принимающий значение 0, входит в нее с отрицанием, значение 1 – без отрицания.
4. Образуем дизъюнкцию всех полученных конъюнкций.
Пример.
Построить СДНФ для данных формул логики высказываний.
1. 
.
2. 
Решение.
1. .
Строим таблицу истинности для формулы F:
| № | x | y | z | 
| 
|
|
Рассматриваем только 4, 5 и 7 наборы, так как только на этих наборах формула принимает значение равное единице.
СДНФ имеет вид: 
2. 
Строим таблицу истинности для формулы F:
| № | x | y | x® y | F=(x® y)Ù xÙ y |
СДНФ имеет вид: F = x y.
|
|