Таблица истинности для функции F≡X3∧X1∧X0∧V∧X3∧X1∧X0∧V∧X3∧X1∧V∧X3∧X2∧X0:


Промежуточные таблицы истинности:
X3∧X1:
X3X1X3∧X1
000
010
100
111

(X3∧X1)∧X0:
X3X1X0X3∧X1(X3∧X1)∧X0
00000
00100
01000
01100
10000
10100
11010
11111

((X3∧X1)∧X0)∧V:
X3X1X0VX3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V
0000000
0001000
0010000
0011000
0100000
0101000
0110000
0111000
1000000
1001000
1010000
1011000
1100100
1101100
1110110
1111111

(((X3∧X1)∧X0)∧V)∧X3:
X3X1X0VX3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V(((X3∧X1)∧X0)∧V)∧X3
00000000
00010000
00100000
00110000
01000000
01010000
01100000
01110000
10000000
10010000
10100000
10110000
11001000
11011000
11101100
11111111

((((X3∧X1)∧X0)∧V)∧X3)∧X1:
X3X1X0VX3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V(((X3∧X1)∧X0)∧V)∧X3((((X3∧X1)∧X0)∧V)∧X3)∧X1
000000000
000100000
001000000
001100000
010000000
010100000
011000000
011100000
100000000
100100000
101000000
101100000
110010000
110110000
111011000
111111111

(((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0:
X3X1X0VX3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V(((X3∧X1)∧X0)∧V)∧X3((((X3∧X1)∧X0)∧V)∧X3)∧X1(((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0
0000000000
0001000000
0010000000
0011000000
0100000000
0101000000
0110000000
0111000000
1000000000
1001000000
1010000000
1011000000
1100100000
1101100000
1110110000
1111111111

((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V:
X3X1X0VX3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V(((X3∧X1)∧X0)∧V)∧X3((((X3∧X1)∧X0)∧V)∧X3)∧X1(((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V
00000000000
00010000000
00100000000
00110000000
01000000000
01010000000
01100000000
01110000000
10000000000
10010000000
10100000000
10110000000
11001000000
11011000000
11101100000
11111111111

(((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3:
X3X1X0VX3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V(((X3∧X1)∧X0)∧V)∧X3((((X3∧X1)∧X0)∧V)∧X3)∧X1(((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V(((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3
000000000000
000100000000
001000000000
001100000000
010000000000
010100000000
011000000000
011100000000
100000000000
100100000000
101000000000
101100000000
110010000000
110110000000
111011000000
111111111111

((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1:
X3X1X0VX3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V(((X3∧X1)∧X0)∧V)∧X3((((X3∧X1)∧X0)∧V)∧X3)∧X1(((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V(((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1
0000000000000
0001000000000
0010000000000
0011000000000
0100000000000
0101000000000
0110000000000
0111000000000
1000000000000
1001000000000
1010000000000
1011000000000
1100100000000
1101100000000
1110110000000
1111111111111

(((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V:
X3X1X0VX3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V(((X3∧X1)∧X0)∧V)∧X3((((X3∧X1)∧X0)∧V)∧X3)∧X1(((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V(((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1(((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V
00000000000000
00010000000000
00100000000000
00110000000000
01000000000000
01010000000000
01100000000000
01110000000000
10000000000000
10010000000000
10100000000000
10110000000000
11001000000000
11011000000000
11101100000000
11111111111111

((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3:
X3X1X0VX3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V(((X3∧X1)∧X0)∧V)∧X3((((X3∧X1)∧X0)∧V)∧X3)∧X1(((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V(((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1(((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3
000000000000000
000100000000000
001000000000000
001100000000000
010000000000000
010100000000000
011000000000000
011100000000000
100000000000000
100100000000000
101000000000000
101100000000000
110010000000000
110110000000000
111011000000000
111111111111111

(((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3)∧X2:
X3X1X0VX2X3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V(((X3∧X1)∧X0)∧V)∧X3((((X3∧X1)∧X0)∧V)∧X3)∧X1(((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V(((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1(((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3(((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3)∧X2
00000000000000000
00001000000000000
00010000000000000
00011000000000000
00100000000000000
00101000000000000
00110000000000000
00111000000000000
01000000000000000
01001000000000000
01010000000000000
01011000000000000
01100000000000000
01101000000000000
01110000000000000
01111000000000000
10000000000000000
10001000000000000
10010000000000000
10011000000000000
10100000000000000
10101000000000000
10110000000000000
10111000000000000
11000100000000000
11001100000000000
11010100000000000
11011100000000000
11100110000000000
11101110000000000
11110111111111110
11111111111111111

((((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3)∧X2)∧X0:
X3X1X0VX2X3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V(((X3∧X1)∧X0)∧V)∧X3((((X3∧X1)∧X0)∧V)∧X3)∧X1(((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V(((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1(((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3(((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3)∧X2((((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3)∧X2)∧X0
000000000000000000
000010000000000000
000100000000000000
000110000000000000
001000000000000000
001010000000000000
001100000000000000
001110000000000000
010000000000000000
010010000000000000
010100000000000000
010110000000000000
011000000000000000
011010000000000000
011100000000000000
011110000000000000
100000000000000000
100010000000000000
100100000000000000
100110000000000000
101000000000000000
101010000000000000
101100000000000000
101110000000000000
110001000000000000
110011000000000000
110101000000000000
110111000000000000
111001100000000000
111011100000000000
111101111111111100
111111111111111111

F≡(((((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3)∧X2)∧X0):
FX3X1X0VX2X3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V(((X3∧X1)∧X0)∧V)∧X3((((X3∧X1)∧X0)∧V)∧X3)∧X1(((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V(((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1(((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3(((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3)∧X2((((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3)∧X2)∧X0F≡(((((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3)∧X2)∧X0)
00000000000000000001
00000100000000000001
00001000000000000001
00001100000000000001
00010000000000000001
00010100000000000001
00011000000000000001
00011100000000000001
00100000000000000001
00100100000000000001
00101000000000000001
00101100000000000001
00110000000000000001
00110100000000000001
00111000000000000001
00111100000000000001
01000000000000000001
01000100000000000001
01001000000000000001
01001100000000000001
01010000000000000001
01010100000000000001
01011000000000000001
01011100000000000001
01100010000000000001
01100110000000000001
01101010000000000001
01101110000000000001
01110011000000000001
01110111000000000001
01111011111111111001
01111111111111111110
10000000000000000000
10000100000000000000
10001000000000000000
10001100000000000000
10010000000000000000
10010100000000000000
10011000000000000000
10011100000000000000
10100000000000000000
10100100000000000000
10101000000000000000
10101100000000000000
10110000000000000000
10110100000000000000
10111000000000000000
10111100000000000000
11000000000000000000
11000100000000000000
11001000000000000000
11001100000000000000
11010000000000000000
11010100000000000000
11011000000000000000
11011100000000000000
11100010000000000000
11100110000000000000
11101010000000000000
11101110000000000000
11110011000000000000
11110111000000000000
11111011111111111000
11111111111111111111

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

FX3X1X0VX2X3∧X1(X3∧X1)∧X0((X3∧X1)∧X0)∧V(((X3∧X1)∧X0)∧V)∧X3((((X3∧X1)∧X0)∧V)∧X3)∧X1(((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V(((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1(((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3(((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3)∧X2((((((((((((X3∧X1)∧X0)∧V)∧X3)∧X1)∧X0)∧V)∧X3)∧X1)∧V)∧X3)∧X2)∧X0F≡X3∧X1∧X0∧V∧X3∧X1∧X0∧V∧X3∧X1∧V∧X3∧X2∧X0
00000000000000000001
00000100000000000001
00001000000000000001
00001100000000000001
00010000000000000001
00010100000000000001
00011000000000000001
00011100000000000001
00100000000000000001
00100100000000000001
00101000000000000001
00101100000000000001
00110000000000000001
00110100000000000001
00111000000000000001
00111100000000000001
01000000000000000001
01000100000000000001
01001000000000000001
01001100000000000001
01010000000000000001
01010100000000000001
01011000000000000001
01011100000000000001
01100010000000000001
01100110000000000001
01101010000000000001
01101110000000000001
01110011000000000001
01110111000000000001
01111011111111111001
01111111111111111110
10000000000000000000
10000100000000000000
10001000000000000000
10001100000000000000
10010000000000000000
10010100000000000000
10011000000000000000
10011100000000000000
10100000000000000000
10100100000000000000
10101000000000000000
10101100000000000000
10110000000000000000
10110100000000000000
10111000000000000000
10111100000000000000
11000000000000000000
11000100000000000000
11001000000000000000
11001100000000000000
11010000000000000000
11010100000000000000
11011000000000000000
11011100000000000000
11100010000000000000
11100110000000000000
11101010000000000000
11101110000000000000
11110011000000000000
11110111000000000000
11111011111111111000
11111111111111111111

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

Совершенная дизъюнктивная нормальная форма (СДНФ):

По таблице истинности:
FX3X1X0VX2F
0000001
0000011
0000101
0000111
0001001
0001011
0001101
0001111
0010001
0010011
0010101
0010111
0011001
0011011
0011101
0011111
0100001
0100011
0100101
0100111
0101001
0101011
0101101
0101111
0110001
0110011
0110101
0110111
0111001
0111011
0111101
0111110
1000000
1000010
1000100
1000110
1001000
1001010
1001100
1001110
1010000
1010010
1010100
1010110
1011000
1011010
1011100
1011110
1100000
1100010
1100100
1100110
1101000
1101010
1101100
1101110
1110000
1110010
1110100
1110110
1111000
1111010
1111100
1111111
Fсднф = ¬F∧¬X3∧¬X1∧¬X0∧¬V∧¬X2 ∨ ¬F∧¬X3∧¬X1∧¬X0∧¬V∧X2 ∨ ¬F∧¬X3∧¬X1∧¬X0∧V∧¬X2 ∨ ¬F∧¬X3∧¬X1∧¬X0∧V∧X2 ∨ ¬F∧¬X3∧¬X1∧X0∧¬V∧¬X2 ∨ ¬F∧¬X3∧¬X1∧X0∧¬V∧X2 ∨ ¬F∧¬X3∧¬X1∧X0∧V∧¬X2 ∨ ¬F∧¬X3∧¬X1∧X0∧V∧X2 ∨ ¬F∧¬X3∧X1∧¬X0∧¬V∧¬X2 ∨ ¬F∧¬X3∧X1∧¬X0∧¬V∧X2 ∨ ¬F∧¬X3∧X1∧¬X0∧V∧¬X2 ∨ ¬F∧¬X3∧X1∧¬X0∧V∧X2 ∨ ¬F∧¬X3∧X1∧X0∧¬V∧¬X2 ∨ ¬F∧¬X3∧X1∧X0∧¬V∧X2 ∨ ¬F∧¬X3∧X1∧X0∧V∧¬X2 ∨ ¬F∧¬X3∧X1∧X0∧V∧X2 ∨ ¬F∧X3∧¬X1∧¬X0∧¬V∧¬X2 ∨ ¬F∧X3∧¬X1∧¬X0∧¬V∧X2 ∨ ¬F∧X3∧¬X1∧¬X0∧V∧¬X2 ∨ ¬F∧X3∧¬X1∧¬X0∧V∧X2 ∨ ¬F∧X3∧¬X1∧X0∧¬V∧¬X2 ∨ ¬F∧X3∧¬X1∧X0∧¬V∧X2 ∨ ¬F∧X3∧¬X1∧X0∧V∧¬X2 ∨ ¬F∧X3∧¬X1∧X0∧V∧X2 ∨ ¬F∧X3∧X1∧¬X0∧¬V∧¬X2 ∨ ¬F∧X3∧X1∧¬X0∧¬V∧X2 ∨ ¬F∧X3∧X1∧¬X0∧V∧¬X2 ∨ ¬F∧X3∧X1∧¬X0∧V∧X2 ∨ ¬F∧X3∧X1∧X0∧¬V∧¬X2 ∨ ¬F∧X3∧X1∧X0∧¬V∧X2 ∨ ¬F∧X3∧X1∧X0∧V∧¬X2 ∨ F∧X3∧X1∧X0∧V∧X2
Логическая cхема:

Совершенная конъюнктивная нормальная форма (СКНФ):

По таблице истинности:
FX3X1X0VX2F
0000001
0000011
0000101
0000111
0001001
0001011
0001101
0001111
0010001
0010011
0010101
0010111
0011001
0011011
0011101
0011111
0100001
0100011
0100101
0100111
0101001
0101011
0101101
0101111
0110001
0110011
0110101
0110111
0111001
0111011
0111101
0111110
1000000
1000010
1000100
1000110
1001000
1001010
1001100
1001110
1010000
1010010
1010100
1010110
1011000
1011010
1011100
1011110
1100000
1100010
1100100
1100110
1101000
1101010
1101100
1101110
1110000
1110010
1110100
1110110
1111000
1111010
1111100
1111111
Fскнф = (F∨¬X3∨¬X1∨¬X0∨¬V∨¬X2) ∧ (¬F∨X3∨X1∨X0∨V∨X2) ∧ (¬F∨X3∨X1∨X0∨V∨¬X2) ∧ (¬F∨X3∨X1∨X0∨¬V∨X2) ∧ (¬F∨X3∨X1∨X0∨¬V∨¬X2) ∧ (¬F∨X3∨X1∨¬X0∨V∨X2) ∧ (¬F∨X3∨X1∨¬X0∨V∨¬X2) ∧ (¬F∨X3∨X1∨¬X0∨¬V∨X2) ∧ (¬F∨X3∨X1∨¬X0∨¬V∨¬X2) ∧ (¬F∨X3∨¬X1∨X0∨V∨X2) ∧ (¬F∨X3∨¬X1∨X0∨V∨¬X2) ∧ (¬F∨X3∨¬X1∨X0∨¬V∨X2) ∧ (¬F∨X3∨¬X1∨X0∨¬V∨¬X2) ∧ (¬F∨X3∨¬X1∨¬X0∨V∨X2) ∧ (¬F∨X3∨¬X1∨¬X0∨V∨¬X2) ∧ (¬F∨X3∨¬X1∨¬X0∨¬V∨X2) ∧ (¬F∨X3∨¬X1∨¬X0∨¬V∨¬X2) ∧ (¬F∨¬X3∨X1∨X0∨V∨X2) ∧ (¬F∨¬X3∨X1∨X0∨V∨¬X2) ∧ (¬F∨¬X3∨X1∨X0∨¬V∨X2) ∧ (¬F∨¬X3∨X1∨X0∨¬V∨¬X2) ∧ (¬F∨¬X3∨X1∨¬X0∨V∨X2) ∧ (¬F∨¬X3∨X1∨¬X0∨V∨¬X2) ∧ (¬F∨¬X3∨X1∨¬X0∨¬V∨X2) ∧ (¬F∨¬X3∨X1∨¬X0∨¬V∨¬X2) ∧ (¬F∨¬X3∨¬X1∨X0∨V∨X2) ∧ (¬F∨¬X3∨¬X1∨X0∨V∨¬X2) ∧ (¬F∨¬X3∨¬X1∨X0∨¬V∨X2) ∧ (¬F∨¬X3∨¬X1∨X0∨¬V∨¬X2) ∧ (¬F∨¬X3∨¬X1∨¬X0∨V∨X2) ∧ (¬F∨¬X3∨¬X1∨¬X0∨V∨¬X2) ∧ (¬F∨¬X3∨¬X1∨¬X0∨¬V∨X2)
Логическая cхема:

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

Рейтинг@Mail.ru

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