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


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

CABC∧A¬(C∧A)¬CA∧B(A∧B)∧(¬C)(¬(C∧A))∨((A∧B)∧(¬C))¬A¬BC∧(¬A)((¬(C∧A))∨((A∧B)∧(¬C)))∧(¬A)(C∧(¬A))∨(¬B)C∧¬A∨¬B∨(¬(C∧A)∨A∧B∧¬C)∧¬A
000011001110111
001011001100101
010011001010011
011011111000000
100010001111111
101010001101111
110100000010011
111100100000000


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

По таблице истинности:
CABF
0001
0011
0101
0110
1001
1011
1101
1110
Fсднф = ¬C∧¬A∧¬B ∨ ¬C∧¬A∧B ∨ ¬C∧A∧¬B ∨ C∧¬A∧¬B ∨ C∧¬A∧B ∨ C∧A∧¬B

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

По таблице истинности:
CABF
0001
0011
0101
0110
1001
1011
1101
1110
Fскнф = (C∨¬A∨¬B) ∧ (¬C∨¬A∨¬B)

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

Рейтинг@Mail.ru

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