Таблица истинности для функции (P→Q)≡P∨Q:


Промежуточные таблицы истинности:
P→Q:
PQP→Q
001
011
100
111

P∨Q:
PQP∨Q
000
011
101
111

(P→Q)≡(P∨Q):
PQP→QP∨Q(P→Q)≡(P∨Q)
00100
01111
10010
11111

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

PQP→QP∨Q(P→Q)≡P∨Q
00100
01111
10010
11111

Логическая схема:

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

Рейтинг@Mail.ru

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