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


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

¬A:
A¬A
01
10

¬B:
B¬B
01
10

¬C:
C¬C
01
10

(¬B)∨(¬C):
BC¬B¬C(¬B)∨(¬C)
00111
01101
10011
11000

(¬A)∧((¬B)∨(¬C)):
ABC¬A¬B¬C(¬B)∨(¬C)(¬A)∧((¬B)∨(¬C))
00011111
00111011
01010111
01110000
10001110
10101010
11000110
11100000

(A≡B)∨((¬A)∧((¬B)∨(¬C))):
ABCA≡B¬A¬B¬C(¬B)∨(¬C)(¬A)∧((¬B)∨(¬C))(A≡B)∨((¬A)∧((¬B)∨(¬C)))
0001111111
0011110111
0100101111
0110100000
1000011100
1010010100
1101001101
1111000001

¬((A≡B)∨((¬A)∧((¬B)∨(¬C)))):
ABCA≡B¬A¬B¬C(¬B)∨(¬C)(¬A)∧((¬B)∨(¬C))(A≡B)∨((¬A)∧((¬B)∨(¬C)))¬((A≡B)∨((¬A)∧((¬B)∨(¬C))))
00011111110
00111101110
01001011110
01101000001
10000111001
10100101001
11010011010
11110000010

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

ABCA≡B¬A¬B¬C(¬B)∨(¬C)(¬A)∧((¬B)∨(¬C))(A≡B)∨((¬A)∧((¬B)∨(¬C)))¬((A≡B)∨((¬A)∧(¬B∨¬C)))
00011111110
00111101110
01001011110
01101000001
10000111001
10100101001
11010011010
11110000010


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

Рейтинг@Mail.ru

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