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


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

BAC¬AB∧(¬A)B∧A(B∧A)∧C((B∧A)∧C)∨C(B∧(¬A))→(((B∧A)∧C)∨C)¬B(¬A)∧(¬B)¬((B∧(¬A))→(((B∧A)∧C)∨C))¬((¬A)∧(¬B))¬((B∧¬A)→(B∧A∧C)∨C)∨¬(¬A∧¬B)
00010000111000
00110001111000
01000000110011
01100001110011
10011000000111
10111001100011
11000100100011
11100111100011


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

По таблице истинности:
BACF
0000
0010
0101
0111
1001
1011
1101
1111
Fсднф = ¬B∧A∧¬C ∨ ¬B∧A∧C ∨ B∧¬A∧¬C ∨ B∧¬A∧C ∨ B∧A∧¬C ∨ B∧A∧C

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

Рейтинг@Mail.ru

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