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


Промежуточные таблицы истинности:
X→Z:
XZX→Z
001
011
100
111

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)→(X→Z):
XVYZX∧V(X∧V)∧YX→Z((X∧V)∧Y)→(X→Z)
00000011
00010011
00100011
00110011
01000011
01010011
01100011
01110011
10000001
10010011
10100001
10110011
11001001
11011011
11101100
11111111

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

XVYZX→ZX∧V(X∧V)∧YX∧V∧Y→(X→Z)
00001001
00011001
00101001
00111001
01001001
01011001
01101001
01111001
10000001
10011001
10100001
10111001
11000101
11011101
11100110
11111111


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

По таблице истинности:
XVYZF
00001
00011
00101
00111
01001
01011
01101
01111
10001
10011
10101
10111
11001
11011
11100
11111
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

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

По таблице истинности:
XVYZF
00001
00011
00101
00111
01001
01011
01101
01111
10001
10011
10101
10111
11001
11011
11100
11111
Fскнф = (¬X∨¬V∨¬Y∨Z)

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

Рейтинг@Mail.ru

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