Курсовая работа: Представление булевых функций в СКНФ
Здесь:
g1 (x) – отрицание
(обозначения: 
),
g2 (x) – тождественная функция,
g3 (x) и g4 (x) – соответственно, тождественная истина и тождественная ложь.
При n = 2
число булевых функций равно 
. Им
соответствуют следующие таблицы истинности.
| x | y |
f1 ( |
f2 ( |
f3 ( |
f4 ( |
f5 ( |
f6 ( |
f7 ( |
f8 ( |
|
| 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | |
| 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | |
| 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | |
| x | y | f9 | f10 | f11 | f12 | f13 | f14 | f15 | f16 | |
| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | |
| 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | |
| 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | |
| 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 |
)
)
)
)
)
)
)
)Здесь:
