| МОУ Лицей №4. г. Люберцы 2010 г |
| Байрамов Ренат. 9 «Б» |
| Экзамен по «Информатике и ИКТ». |
| X1 | X2 | X3 | F |
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 |
| 1 | 1 | 1 | 1 |
В соответствии с алгоритмом построения СДНФ по таблице получаем: F = X ?1 X ?2X3 ? X ?1X2X3 ? X1X ?2X3 ? X1X2X3
Рассмотрим примеры:
Алгоритм построения СДНФ по таблице истинности
1) В таблице истинности отмечаем наборы переменных, на которых значение функции f равно единице.
2) Записываем для каждого отмеченного набора конъюнкцию всех переменных следующим образом: если значение некоторой переменной в этом наборе равно 1, то в конъюнкцию включаем саму переменную, в противном случае - её отрицание.
3) Все полученные конъюнкции связываем операциями дизъюнкции.
Алгоритм построения СКНФ по таблице истинности
1)В таблице истинности отмечаем наборы переменных, на которых значение функции f равно нулю.
2)Записываем для каждого отмеченного набора дизъюнкцию всех переменных следующим образом: если значение некоторой переменной в этом наборе равно 0, то в конъюнкцию включаем саму переменную, в противном случае - её отрицание.
3) Все полученные дизъюнкции связываем операциями конъюнкции.