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


Промежуточные таблицы истинности:
¬C:
C¬C
01
10

¬A:
A¬A
01
10

(¬C)∧B:
CB¬C(¬C)∧B
0010
0111
1000
1100

((¬C)∧B)∧(¬A):
CBA¬C(¬C)∧B¬A((¬C)∧B)∧(¬A)
0001010
0011000
0101111
0111100
1000010
1010000
1100010
1110000

¬B:
B¬B
01
10

(¬B)∧C:
BC¬B(¬B)∧C
0010
0111
1000
1100

A→(((¬C)∧B)∧(¬A)):
ACB¬C(¬C)∧B¬A((¬C)∧B)∧(¬A)A→(((¬C)∧B)∧(¬A))
00010101
00111111
01000101
01100101
10010000
10111000
11000000
11100000

(A→(((¬C)∧B)∧(¬A)))→((¬B)∧C):
ACB¬C(¬C)∧B¬A((¬C)∧B)∧(¬A)A→(((¬C)∧B)∧(¬A))¬B(¬B)∧C(A→(((¬C)∧B)∧(¬A)))→((¬B)∧C)
00010101100
00111111000
01000101111
01100101000
10010000101
10111000001
11000000111
11100000001

((A→(((¬C)∧B)∧(¬A)))→((¬B)∧C))≡(¬A):
ACB¬C(¬C)∧B¬A((¬C)∧B)∧(¬A)A→(((¬C)∧B)∧(¬A))¬B(¬B)∧C(A→(((¬C)∧B)∧(¬A)))→((¬B)∧C)¬A((A→(((¬C)∧B)∧(¬A)))→((¬B)∧C))≡(¬A)
0001010110010
0011111100010
0100010111111
0110010100010
1001000010100
1011100000100
1100000011100
1110000000100

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

ACB¬C¬A(¬C)∧B((¬C)∧B)∧(¬A)¬B(¬B)∧CA→(((¬C)∧B)∧(¬A))(A→(((¬C)∧B)∧(¬A)))→((¬B)∧C)A→(¬C∧B∧¬A)→¬B∧C≡¬A
000110010100
001111100100
010010011111
011010000100
100100010010
101101000010
110000011010
111000000010

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

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

Рейтинг@Mail.ru

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