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


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

ACD¬D¬CA∧C(A∧C)∧(¬D)D∧(¬C)((A∧C)∧(¬D))∨(D∧(¬C))A∧(¬C)¬(A∧(¬C))C∧(¬D)(¬(A∧(¬C)))∨(C∧(¬D))(A∧C∧¬D∨D∧¬C)∧(¬(A∧¬C)∨C∧¬D)
00011000001010
00101001101011
01010000001110
01100000001010
10011000010000
10101001110000
11010110101111
11100100001010


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

По таблице истинности:
ACDF
0000
0011
0100
0110
1000
1010
1101
1110
Fсднф = ¬A∧¬C∧D ∨ A∧C∧¬D

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

По таблице истинности:
ACDF
0000
0011
0100
0110
1000
1010
1101
1110
Fскнф = (A∨C∨D) ∧ (A∨¬C∨D) ∧ (A∨¬C∨¬D) ∧ (¬A∨C∨D) ∧ (¬A∨C∨¬D) ∧ (¬A∨¬C∨¬D)

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

Рейтинг@Mail.ru

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