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


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

BDAC¬D¬A(¬D)∧(¬A)((¬D)∧(¬A))∧CB∨(((¬D)∧(¬A))∧C)B∨¬D∧¬A∧C∨A
0000111000
0001111111
0010100001
0011100001
0100010000
0101010000
0110000001
0111000001
1000111011
1001111111
1010100011
1011100011
1100010011
1101010011
1110000011
1111000011


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

По таблице истинности:
BDACF
00000
00011
00101
00111
01000
01010
01101
01111
10001
10011
10101
10111
11001
11011
11101
11111
Fсднф = ¬B∧¬D∧¬A∧C ∨ ¬B∧¬D∧A∧¬C ∨ ¬B∧¬D∧A∧C ∨ ¬B∧D∧A∧¬C ∨ ¬B∧D∧A∧C ∨ B∧¬D∧¬A∧¬C ∨ B∧¬D∧¬A∧C ∨ B∧¬D∧A∧¬C ∨ B∧¬D∧A∧C ∨ B∧D∧¬A∧¬C ∨ B∧D∧¬A∧C ∨ B∧D∧A∧¬C ∨ B∧D∧A∧C

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

По таблице истинности:
BDACF
00000
00011
00101
00111
01000
01010
01101
01111
10001
10011
10101
10111
11001
11011
11101
11111
Fскнф = (B∨D∨A∨C) ∧ (B∨¬D∨A∨C) ∧ (B∨¬D∨A∨¬C)

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

Рейтинг@Mail.ru

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