построить СКНФ и СДНФ исходной функции f=(x~y&z) + (┐x&y) V z, используя таблицу истинности
Решение:
построим таблицу истинности для функции 
| x | y | z | y&z | x~y&z | ┐x | ┐x&y |  |
f |
| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 |
| 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |
Исходя, из таблицы истинности
построим СКНФ функции
:
Построим СДНФ функции
сравнив с результатами (полученными в примере на нахождение СКНФ и СДНФ с помощью логических преобразований)
видно, что СКНФ и СДНФ совпали,значит найдены верно.
посмотреть другие задачи по дискретной математике
