Таблица истинности для функции ((P∧Q)∧R)→¬S:


Промежуточные таблицы истинности:
P∧Q:
PQP∧Q
000
010
100
111

(P∧Q)∧R:
PQRP∧Q(P∧Q)∧R
00000
00100
01000
01100
10000
10100
11010
11111

¬S:
S¬S
01
10

((P∧Q)∧R)→(¬S):
PQRSP∧Q(P∧Q)∧R¬S((P∧Q)∧R)→(¬S)
00000011
00010001
00100011
00110001
01000011
01010001
01100011
01110001
10000011
10010001
10100011
10110001
11001011
11011001
11101111
11111100

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

PQRSP∧Q(P∧Q)∧R¬S((P∧Q)∧R)→¬S
00000011
00010001
00100011
00110001
01000011
01010001
01100011
01110001
10000011
10010001
10100011
10110001
11001011
11011001
11101111
11111100


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

Рейтинг@Mail.ru

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