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


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

¬Z:
Z¬Z
01
10

Y∨(¬X):
YX¬XY∨(¬X)
0011
0100
1011
1101

(Y∨(¬X))→(¬Z):
YXZ¬XY∨(¬X)¬Z(Y∨(¬X))→(¬Z)
0001111
0011100
0100011
0110001
1001111
1011100
1100111
1110100

¬Y:
Y¬Y
01
10

X∧(¬Y):
XY¬YX∧(¬Y)
0010
0100
1011
1100

(X∧(¬Y))→((Y∨(¬X))→(¬Z)):
XYZ¬YX∧(¬Y)¬XY∨(¬X)¬Z(Y∨(¬X))→(¬Z)(X∧(¬Y))→((Y∨(¬X))→(¬Z))
0001011111
0011011001
0100011111
0110011001
1001100111
1011100011
1100001111
1110001001

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

XYZ¬X¬ZY∨(¬X)(Y∨(¬X))→(¬Z)¬YX∧(¬Y)X∧¬Y→(Y∨¬X→¬Z)
0001111101
0011010101
0101111001
0111010001
1000101111
1010001111
1100111001
1110010001


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

Рейтинг@Mail.ru

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