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


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

C∨(¬B):
CB¬BC∨(¬B)
0011
0100
1011
1101

¬(C∨(¬B)):
CB¬BC∨(¬B)¬(C∨(¬B))
00110
01001
10110
11010

A∧(¬B):
AB¬BA∧(¬B)
0010
0100
1011
1100

A∧(¬(C∨(¬B))):
ACB¬BC∨(¬B)¬(C∨(¬B))A∧(¬(C∨(¬B)))
0001100
0010010
0101100
0110100
1001100
1010011
1101100
1110100

(A∧(¬B))→(A∧(¬(C∨(¬B)))):
ABC¬BA∧(¬B)¬BC∨(¬B)¬(C∨(¬B))A∧(¬(C∨(¬B)))(A∧(¬B))→(A∧(¬(C∨(¬B))))
0001011001
0011011001
0100000101
0110001001
1001111000
1011111000
1100000111
1110001001

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

ABC¬BC∨(¬B)¬(C∨(¬B))A∧(¬B)A∧(¬(C∨(¬B)))A∧¬B→A∧¬(C∨¬B)
000110001
001110001
010001001
011010001
100110100
101110100
110001011
111010001


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

По таблице истинности:
ABCF
0001
0011
0101
0111
1000
1010
1101
1111
Fсднф = ¬A∧¬B∧¬C ∨ ¬A∧¬B∧C ∨ ¬A∧B∧¬C ∨ ¬A∧B∧C ∨ A∧B∧¬C ∨ A∧B∧C

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

По таблице истинности:
ABCF
0001
0011
0101
0111
1000
1010
1101
1111
Fскнф = (¬A∨B∨C) ∧ (¬A∨B∨¬C)

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

Рейтинг@Mail.ru

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