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


Промежуточные таблицы истинности:
A≡B:
ABA≡B
001
010
100
111

¬B:
B¬B
01
10

(¬B)∨C:
BC¬B(¬B)∨C
0011
0111
1000
1101

¬A:
A¬A
01
10

(¬A)∧((¬B)∨C):
ABC¬A¬B(¬B)∨C(¬A)∧((¬B)∨C)
0001111
0011111
0101000
0111011
1000110
1010110
1100000
1110010

(A≡B)∨((¬A)∧((¬B)∨C)):
ABCA≡B¬A¬B(¬B)∨C(¬A)∧((¬B)∨C)(A≡B)∨((¬A)∧((¬B)∨C))
000111111
001111111
010010000
011010111
100001100
101001100
110100001
111100101

¬((A≡B)∨((¬A)∧((¬B)∨C))):
ABCA≡B¬A¬B(¬B)∨C(¬A)∧((¬B)∨C)(A≡B)∨((¬A)∧((¬B)∨C))¬((A≡B)∨((¬A)∧((¬B)∨C)))
0001111110
0011111110
0100100001
0110101110
1000011001
1010011001
1101000010
1111001010

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

ABCA≡B¬B(¬B)∨C¬A(¬A)∧((¬B)∨C)(A≡B)∨((¬A)∧((¬B)∨C))¬((A≡B)∨(¬A∧(¬B∨C)))
0001111110
0011111110
0100001001
0110011110
1000110001
1010110001
1101000010
1111010010


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

Рейтинг@Mail.ru

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