 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Алгоритм получения СКНФ по таблице истинности
|
|
1. Отметить те строки таблицы истинности, в последнем столбце которых стоит 0:
| X | Y | F(X,Y) |
| 0* | ||
| 0* |
2. Выписать для каждой отмеченной строки дизъюнкцию всех переменных следующим образом: если значение некоторой переменной в данной строке равно 0, то в дизъюнкцию включать саму эту переменную, если равно 1, то ее отрицание: 
— для 1-й строки; 
— для 4-й строки.
3. Все полученные дизъюнкции связать в конъюнкцию: 
(2*)
Если мы хотим построить формулу некоторой функции по таблице истинности этой функции, то всегда можно получить СКНФ или СДНФ этой функции.
Дата публикования: 2015-02-03; Прочитано: 427 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
