Таблица истинности для функции ¬X∨¬Y∨¬Z∨X∨Y:


Промежуточные таблицы истинности:
¬X:
X¬X
01
10

¬Y:
Y¬Y
01
10

¬Z:
Z¬Z
01
10

(¬X)∨(¬Y):
XY¬X¬Y(¬X)∨(¬Y)
00111
01101
10011
11000

((¬X)∨(¬Y))∨(¬Z):
XYZ¬X¬Y(¬X)∨(¬Y)¬Z((¬X)∨(¬Y))∨(¬Z)
00011111
00111101
01010111
01110101
10001111
10101101
11000011
11100000

(((¬X)∨(¬Y))∨(¬Z))∨X:
XYZ¬X¬Y(¬X)∨(¬Y)¬Z((¬X)∨(¬Y))∨(¬Z)(((¬X)∨(¬Y))∨(¬Z))∨X
000111111
001111011
010101111
011101011
100011111
101011011
110000111
111000001

((((¬X)∨(¬Y))∨(¬Z))∨X)∨Y:
XYZ¬X¬Y(¬X)∨(¬Y)¬Z((¬X)∨(¬Y))∨(¬Z)(((¬X)∨(¬Y))∨(¬Z))∨X((((¬X)∨(¬Y))∨(¬Z))∨X)∨Y
0001111111
0011110111
0101011111
0111010111
1000111111
1010110111
1100001111
1110000011

Общая таблица истинности:

XYZ¬X¬Y¬Z(¬X)∨(¬Y)((¬X)∨(¬Y))∨(¬Z)(((¬X)∨(¬Y))∨(¬Z))∨X¬X∨¬Y∨¬Z∨X∨Y
0001111111
0011101111
0101011111
0111001111
1000111111
1010101111
1100010111
1110000011

Логическая схема:

Совершенная дизъюнктивная нормальная форма (СДНФ):

По таблице истинности:
XYZF
0001
0011
0101
0111
1001
1011
1101
1111
Fсднф = ¬X∧¬Y∧¬Z ∨ ¬X∧¬Y∧Z ∨ ¬X∧Y∧¬Z ∨ ¬X∧Y∧Z ∨ X∧¬Y∧¬Z ∨ X∧¬Y∧Z ∨ X∧Y∧¬Z ∨ X∧Y∧Z
Логическая cхема:

Совершенная конъюнктивная нормальная форма (СКНФ):

По таблице истинности:
XYZF
0001
0011
0101
0111
1001
1011
1101
1111
В таблице истинности нет набора значений переменных при которых функция ложна!

Околостуденческое

Рейтинг@Mail.ru

© 2009-2024, Список Литературы