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


Промежуточные таблицы истинности:
A∨B:
ABA∨B
000
011
101
111

¬(A∨B):
ABA∨B¬(A∨B)
0001
0110
1010
1110

A∧B:
ABA∧B
000
010
100
111

(¬(A∨B))→(A∧B):
ABA∨B¬(A∨B)A∧B(¬(A∨B))→(A∧B)
000100
011001
101001
111011

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

ABA∨B¬(A∨B)A∧B¬(A∨B)→A∧B
000100
011001
101001
111011


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

Рейтинг@Mail.ru

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