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


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

(¬A)∨C:
AC¬A(¬A)∨C
0011
0111
1000
1101

((¬A)∨C)∧B:
ACB¬A(¬A)∨C((¬A)∨C)∧B
000110
001111
010110
011111
100000
101000
110010
111011

(((¬A)∨C)∧B)∨B:
ACB¬A(¬A)∨C((¬A)∨C)∧B(((¬A)∨C)∧B)∨B
0001100
0011111
0101100
0111111
1000000
1010001
1100100
1110111

¬((((¬A)∨C)∧B)∨B):
ACB¬A(¬A)∨C((¬A)∨C)∧B(((¬A)∨C)∧B)∨B¬((((¬A)∨C)∧B)∨B)
00011001
00111110
01011001
01111110
10000001
10100010
11001001
11101110

(¬((((¬A)∨C)∧B)∨B))∨D:
ACBD¬A(¬A)∨C((¬A)∨C)∧B(((¬A)∨C)∧B)∨B¬((((¬A)∨C)∧B)∨B)(¬((((¬A)∨C)∧B)∨B))∨D
0000110011
0001110011
0010111100
0011111101
0100110011
0101110011
0110111100
0111111101
1000000011
1001000011
1010000100
1011000101
1100010011
1101010011
1110011100
1111011101

((¬((((¬A)∨C)∧B)∨B))∨D)→C:
ACBD¬A(¬A)∨C((¬A)∨C)∧B(((¬A)∨C)∧B)∨B¬((((¬A)∨C)∧B)∨B)(¬((((¬A)∨C)∧B)∨B))∨D((¬((((¬A)∨C)∧B)∨B))∨D)→C
00001100110
00011100110
00101111001
00111111010
01001100111
01011100111
01101111001
01111111011
10000000110
10010000110
10100001001
10110001010
11000100111
11010100111
11100111001
11110111011

¬(((¬((((¬A)∨C)∧B)∨B))∨D)→C):
ACBD¬A(¬A)∨C((¬A)∨C)∧B(((¬A)∨C)∧B)∨B¬((((¬A)∨C)∧B)∨B)(¬((((¬A)∨C)∧B)∨B))∨D((¬((((¬A)∨C)∧B)∨B))∨D)→C¬(((¬((((¬A)∨C)∧B)∨B))∨D)→C)
000011001101
000111001101
001011110010
001111110101
010011001110
010111001110
011011110010
011111110110
100000001101
100100001101
101000010010
101100010101
110001001110
110101001110
111001110010
111101110110

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

ACBD¬A(¬A)∨C((¬A)∨C)∧B(((¬A)∨C)∧B)∨B¬((((¬A)∨C)∧B)∨B)(¬((((¬A)∨C)∧B)∨B))∨D((¬((((¬A)∨C)∧B)∨B))∨D)→C¬(¬(((¬A∨C)∧B)∨B)∨D→C)
000011001101
000111001101
001011110010
001111110101
010011001110
010111001110
011011110010
011111110110
100000001101
100100001101
101000010010
101100010101
110001001110
110101001110
111001110010
111101110110


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

Рейтинг@Mail.ru

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