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


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

¬(A→B):
ABA→B¬(A→B)
0010
0110
1001
1110

¬B:
B¬B
01
10

(¬(A→B))∧A:
ABA→B¬(A→B)(¬(A→B))∧A
00100
01100
10011
11100

((¬(A→B))∧A)≡(¬B):
ABA→B¬(A→B)(¬(A→B))∧A¬B((¬(A→B))∧A)≡(¬B)
0010010
0110001
1001111
1110001

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

ABA→B¬(A→B)¬B(¬(A→B))∧A¬(A→B)∧A≡¬B
0010100
0110001
1001111
1110001

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

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

Рейтинг@Mail.ru

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