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


Промежуточные таблицы истинности:
A∨C:
ACA∨C
000
011
101
111

(A∨C)∨D:
ACDA∨C(A∨C)∨D
00000
00101
01011
01111
10011
10111
11011
11111

¬A:
A¬A
01
10

¬D:
D¬D
01
10

(¬A)∨B:
AB¬A(¬A)∨B
0011
0111
1000
1101

((¬A)∨B)∨(¬D):
ABD¬A(¬A)∨B¬D((¬A)∨B)∨(¬D)
0001111
0011101
0101111
0111101
1000011
1010000
1100111
1110101

¬B:
B¬B
01
10

A∨(¬B):
AB¬BA∨(¬B)
0011
0100
1011
1101

(A∨(¬B))∨D:
ABD¬BA∨(¬B)(A∨(¬B))∨D
000111
001111
010000
011001
100111
101111
110011
111011

((A∨C)∨D)∧(((¬A)∨B)∨(¬D)):
ACDBA∨C(A∨C)∨D¬A(¬A)∨B¬D((¬A)∨B)∨(¬D)((A∨C)∨D)∧(((¬A)∨B)∨(¬D))
00000011110
00010011110
00100111011
00110111011
01001111111
01011111111
01101111011
01111111011
10001100111
10011101111
10101100000
10111101011
11001100111
11011101111
11101100000
11111101011

(((A∨C)∨D)∧(((¬A)∨B)∨(¬D)))∧((A∨(¬B))∨D):
ACDBA∨C(A∨C)∨D¬A(¬A)∨B¬D((¬A)∨B)∨(¬D)((A∨C)∨D)∧(((¬A)∨B)∨(¬D))¬BA∨(¬B)(A∨(¬B))∨D(((A∨C)∨D)∧(((¬A)∨B)∨(¬D)))∧((A∨(¬B))∨D)
000000111101110
000100111100000
001001110111111
001101110110011
010011111111111
010111111110000
011011110111111
011111110110011
100011001111111
100111011110111
101011000001110
101111010110111
110011001111111
110111011110111
111011000001110
111111010110111

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

ACDBA∨C(A∨C)∨D¬A¬D(¬A)∨B((¬A)∨B)∨(¬D)¬BA∨(¬B)(A∨(¬B))∨D((A∨C)∨D)∧(((¬A)∨B)∨(¬D))(A∨C∨D)∧(¬A∨B∨¬D)∧(A∨¬B∨D)
000000111111100
000100111100000
001001101111111
001101101100111
010011111111111
010111111100010
011011101111111
011111101100111
100011010111111
100111011101111
101011000011100
101111001101111
110011010111111
110111011101111
111011000011100
111111001101111

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

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

Рейтинг@Mail.ru

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