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


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

A→(B∧C):
ABCB∧CA→(B∧C)
00001
00101
01001
01111
10000
10100
11000
11111

¬B:
B¬B
01
10

A∧(¬B):
AB¬BA∧(¬B)
0010
0100
1011
1100

¬C:
C¬C
01
10

(¬C)→(A∧(¬B)):
CAB¬C¬BA∧(¬B)(¬C)→(A∧(¬B))
0001100
0011000
0101111
0111000
1000101
1010001
1100111
1110001

¬A:
A¬A
01
10

(¬A)→(¬C):
AC¬A¬C(¬A)→(¬C)
00111
01100
10011
11001

(A→(B∧C))∧((¬C)→(A∧(¬B))):
ABCB∧CA→(B∧C)¬C¬BA∧(¬B)(¬C)→(A∧(¬B))(A→(B∧C))∧((¬C)→(A∧(¬B)))
0000111000
0010101011
0100110000
0111100011
1000011110
1010001110
1100010000
1111100011

((A→(B∧C))∧((¬C)→(A∧(¬B))))∧((¬A)→(¬C)):
ABCB∧CA→(B∧C)¬C¬BA∧(¬B)(¬C)→(A∧(¬B))(A→(B∧C))∧((¬C)→(A∧(¬B)))¬A¬C(¬A)→(¬C)((A→(B∧C))∧((¬C)→(A∧(¬B))))∧((¬A)→(¬C))
00001110001110
00101010111000
01001100001110
01111000111000
10000111100110
10100011100010
11000100000110
11111000110011

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

ABCB∧CA→(B∧C)¬BA∧(¬B)¬C(¬C)→(A∧(¬B))¬A(¬A)→(¬C)(A→(B∧C))∧((¬C)→(A∧(¬B)))((A→(B∧C))∧(¬C→(A∧¬B))∧(¬A→¬C))
0000110101100
0010110011010
0100100101100
0111100011010
1000011110100
1010011010100
1100000100100
1111100010111


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

Рейтинг@Mail.ru

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