Таблица истинности для функции ¬(A∧B)∨(C∨¬D):


Промежуточные таблицы истинности:
A∧B:
ABA∧B
000
010
100
111

¬D:
D¬D
01
10

C∨(¬D):
CD¬DC∨(¬D)
0011
0100
1011
1101

¬(A∧B):
ABA∧B¬(A∧B)
0001
0101
1001
1110

(¬(A∧B))∨(C∨(¬D)):
ABCDA∧B¬(A∧B)¬DC∨(¬D)(¬(A∧B))∨(C∨(¬D))
000001111
000101001
001001111
001101011
010001111
010101001
011001111
011101011
100001111
100101001
101001111
101101011
110010111
110110000
111010111
111110011

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

ABCDA∧B¬DC∨(¬D)¬(A∧B)¬(A∧B)∨(C∨¬D)
000001111
000100011
001001111
001100111
010001111
010100011
011001111
011100111
100001111
100100011
101001111
101100111
110011101
110110000
111011101
111110101

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

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

По таблице истинности:
ABCDF
00001
00011
00101
00111
01001
01011
01101
01111
10001
10011
10101
10111
11001
11010
11101
11111
Fсднф = ¬A∧¬B∧¬C∧¬D ∨ ¬A∧¬B∧¬C∧D ∨ ¬A∧¬B∧C∧¬D ∨ ¬A∧¬B∧C∧D ∨ ¬A∧B∧¬C∧¬D ∨ ¬A∧B∧¬C∧D ∨ ¬A∧B∧C∧¬D ∨ ¬A∧B∧C∧D ∨ A∧¬B∧¬C∧¬D ∨ A∧¬B∧¬C∧D ∨ A∧¬B∧C∧¬D ∨ A∧¬B∧C∧D ∨ A∧B∧¬C∧¬D ∨ A∧B∧C∧¬D ∨ A∧B∧C∧D
Логическая cхема:

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

По таблице истинности:
ABCDF
00001
00011
00101
00111
01001
01011
01101
01111
10001
10011
10101
10111
11001
11010
11101
11111
Fскнф = (¬A∨¬B∨C∨¬D)
Логическая cхема:

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

Рейтинг@Mail.ru

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