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


Промежуточные таблицы истинности:
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⊕Z:
XZX⊕Z
000
011
101
110

((X∧V)∧Y)→(X⊕Z):
XVYZX∧V(X∧V)∧YX⊕Z((X∧V)∧Y)→(X⊕Z)
00000001
00010011
00100001
00110011
01000001
01010011
01100001
01110011
10000011
10010001
10100011
10110001
11001011
11011001
11101111
11111100

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

XVYZX∧V(X∧V)∧YX⊕Z(X∧V∧Y)→(X⊕Z)
00000001
00010011
00100001
00110011
01000001
01010011
01100001
01110011
10000011
10010001
10100011
10110001
11001011
11011001
11101111
11111100

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

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

По таблице истинности:
XVYZF
00001
00011
00101
00111
01001
01011
01101
01111
10001
10011
10101
10111
11001
11011
11101
11110
Fсднф = ¬X∧¬V∧¬Y∧¬Z ∨ ¬X∧¬V∧¬Y∧Z ∨ ¬X∧¬V∧Y∧¬Z ∨ ¬X∧¬V∧Y∧Z ∨ ¬X∧V∧¬Y∧¬Z ∨ ¬X∧V∧¬Y∧Z ∨ ¬X∧V∧Y∧¬Z ∨ ¬X∧V∧Y∧Z ∨ X∧¬V∧¬Y∧¬Z ∨ X∧¬V∧¬Y∧Z ∨ X∧¬V∧Y∧¬Z ∨ X∧¬V∧Y∧Z ∨ X∧V∧¬Y∧¬Z ∨ X∧V∧¬Y∧Z ∨ X∧V∧Y∧¬Z
Логическая cхема:

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

По таблице истинности:
XVYZF
00001
00011
00101
00111
01001
01011
01101
01111
10001
10011
10101
10111
11001
11011
11101
11110
Fскнф = (¬X∨¬V∨¬Y∨¬Z)
Логическая cхема:

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

Рейтинг@Mail.ru

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