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


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

¬A:
A¬A
01
10

(A∧B)→(¬A):
ABA∧B¬A(A∧B)→(¬A)
00011
01011
10001
11100

¬B:
B¬B
01
10

(¬B)≡((A∧B)→(¬A)):
BA¬BA∧B¬A(A∧B)→(¬A)(¬B)≡((A∧B)→(¬A))
0010111
0110011
1000110
1101001

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

BAA∧B¬A(A∧B)→(¬A)¬B¬B≡((A∧B)→¬A)
0001111
0100111
1001100
1110001


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

Рейтинг@Mail.ru

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