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


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

B∨A:
BAB∨A
000
011
101
111

D∨(A∧B):
DABA∧BD∨(A∧B)
00000
00100
01000
01111
10001
10101
11001
11111

(B∨A)→C:
BACB∨A(B∨A)→C
00001
00101
01010
01111
10010
10111
11010
11111

((B∨A)→C)≡(D∨(A∧B)):
BACDB∨A(B∨A)→CA∧BD∨(A∧B)((B∨A)→C)≡(D∨(A∧B))
000001000
000101011
001001000
001101011
010010001
010110010
011011000
011111011
100010001
100110010
101011000
101111011
110010110
110110110
111011111
111111111

A∧(((B∨A)→C)≡(D∨(A∧B))):
ABCDB∨A(B∨A)→CA∧BD∨(A∧B)((B∨A)→C)≡(D∨(A∧B))A∧(((B∨A)→C)≡(D∨(A∧B)))
0000010000
0001010110
0010010000
0011010110
0100100010
0101100100
0110110000
0111110110
1000100011
1001100100
1010110000
1011110111
1100101100
1101101100
1110111111
1111111111

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

ABCDA∧BB∨AD∨(A∧B)(B∨A)→C((B∨A)→C)≡(D∨(A∧B))A∧(B∨A→C≡D∨A∧B)
0000000100
0001001110
0010000100
0011001110
0100010010
0101011000
0110010100
0111011110
1000010011
1001011000
1010010100
1011011111
1100111000
1101111000
1110111111
1111111111


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

Рейтинг@Mail.ru

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