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


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

ACB¬A¬C(¬A)∨(¬C)B→B¬(B→B)((¬A)∨(¬C))⊕(¬(B→B))(¬C)∧BB→(¬C)¬(B→(¬C))((¬C)∧B)↓(¬(B→(¬C)))((¬A∨¬C)⊕¬(B→B))↓((¬C∧B)↓¬(B→¬C))
00011110101010
00111110111000
01010110101010
01110110100100
10001110101010
10101110111000
11000010001010
11100010000101

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

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

По таблице истинности:
ACBF
0000
0010
0100
0110
1000
1010
1100
1111
Fсднф = A∧C∧B
Логическая cхема:

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

По таблице истинности:
ACBF
0000
0010
0100
0110
1000
1010
1100
1111
Fскнф = (A∨C∨B) ∧ (A∨C∨¬B) ∧ (A∨¬C∨B) ∧ (A∨¬C∨¬B) ∧ (¬A∨C∨B) ∧ (¬A∨C∨¬B) ∧ (¬A∨¬C∨B)
Логическая cхема:

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

Рейтинг@Mail.ru

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