Таблица истинности для функции (¬(X∧V∧Y)→Z∧F)∧(F→¬Z)→(X∧V∧Y):


Промежуточные таблицы истинности:
X∧V:
XVX∧V
000
010
100
111

(X∧V)∧Y:
XVYX∧V(X∧V)∧Y
00000
00100
01000
01100
10000
10100
11010
11111

¬((X∧V)∧Y):
XVYX∧V(X∧V)∧Y¬((X∧V)∧Y)
000001
001001
010001
011001
100001
101001
110101
111110

Z∧F:
ZFZ∧F
000
010
100
111

(¬((X∧V)∧Y))→(Z∧F):
XVYZFX∧V(X∧V)∧Y¬((X∧V)∧Y)Z∧F(¬((X∧V)∧Y))→(Z∧F)
0000000100
0000100100
0001000100
0001100111
0010000100
0010100100
0011000100
0011100111
0100000100
0100100100
0101000100
0101100111
0110000100
0110100100
0111000100
0111100111
1000000100
1000100100
1001000100
1001100111
1010000100
1010100100
1011000100
1011100111
1100010100
1100110100
1101010100
1101110111
1110011001
1110111001
1111011001
1111111011

¬Z:
Z¬Z
01
10

F→(¬Z):
FZ¬ZF→(¬Z)
0011
0101
1011
1100

((¬((X∧V)∧Y))→(Z∧F))∧(F→(¬Z)):
XVYZFX∧V(X∧V)∧Y¬((X∧V)∧Y)Z∧F(¬((X∧V)∧Y))→(Z∧F)¬ZF→(¬Z)((¬((X∧V)∧Y))→(Z∧F))∧(F→(¬Z))
0000000100110
0000100100110
0001000100010
0001100111000
0010000100110
0010100100110
0011000100010
0011100111000
0100000100110
0100100100110
0101000100010
0101100111000
0110000100110
0110100100110
0111000100010
0111100111000
1000000100110
1000100100110
1001000100010
1001100111000
1010000100110
1010100100110
1011000100010
1011100111000
1100010100110
1100110100110
1101010100010
1101110111000
1110011001111
1110111001111
1111011001011
1111111011000

(((¬((X∧V)∧Y))→(Z∧F))∧(F→(¬Z)))→((X∧V)∧Y):
XVYZFX∧V(X∧V)∧Y¬((X∧V)∧Y)Z∧F(¬((X∧V)∧Y))→(Z∧F)¬ZF→(¬Z)((¬((X∧V)∧Y))→(Z∧F))∧(F→(¬Z))X∧V(X∧V)∧Y(((¬((X∧V)∧Y))→(Z∧F))∧(F→(¬Z)))→((X∧V)∧Y)
0000000100110001
0000100100110001
0001000100010001
0001100111000001
0010000100110001
0010100100110001
0011000100010001
0011100111000001
0100000100110001
0100100100110001
0101000100010001
0101100111000001
0110000100110001
0110100100110001
0111000100010001
0111100111000001
1000000100110001
1000100100110001
1001000100010001
1001100111000001
1010000100110001
1010100100110001
1011000100010001
1011100111000001
1100010100110101
1100110100110101
1101010100010101
1101110111000101
1110011001111111
1110111001111111
1111011001011111
1111111011000111

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

XVYZFX∧V(X∧V)∧Y¬((X∧V)∧Y)Z∧F(¬((X∧V)∧Y))→(Z∧F)¬ZF→(¬Z)((¬((X∧V)∧Y))→(Z∧F))∧(F→(¬Z))(¬(X∧V∧Y)→Z∧F)∧(F→¬Z)→(X∧V∧Y)
00000001001101
00001001001101
00010001000101
00011001110001
00100001001101
00101001001101
00110001000101
00111001110001
01000001001101
01001001001101
01010001000101
01011001110001
01100001001101
01101001001101
01110001000101
01111001110001
10000001001101
10001001001101
10010001000101
10011001110001
10100001001101
10101001001101
10110001000101
10111001110001
11000101001101
11001101001101
11010101000101
11011101110001
11100110011111
11101110011111
11110110010111
11111110110001

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

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

Рейтинг@Mail.ru

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