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


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

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

¬X:
X¬X
01
10

Z∨(¬X):
ZX¬XZ∨(¬X)
0011
0100
1011
1101

¬(Z∨(¬X)):
ZX¬XZ∨(¬X)¬(Z∨(¬X))
00110
01001
10110
11010

(¬(Z∨(¬X)))→Y:
ZXY¬XZ∨(¬X)¬(Z∨(¬X))(¬(Z∨(¬X)))→Y
0001101
0011101
0100010
0110011
1001101
1011101
1100101
1110101

(X∧(¬Y))≡((¬(Z∨(¬X)))→Y):
XYZ¬YX∧(¬Y)¬XZ∨(¬X)¬(Z∨(¬X))(¬(Z∨(¬X)))→Y(X∧(¬Y))≡((¬(Z∨(¬X)))→Y)
0001011010
0011011010
0100011010
0110011010
1001100100
1011101011
1100000110
1110001010

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

XYZ¬YX∧(¬Y)¬XZ∨(¬X)¬(Z∨(¬X))(¬(Z∨(¬X)))→Y(X∧¬Y)≡¬(Z∨¬X)→Y
0001011010
0011011010
0100011010
0110011010
1001100100
1011101011
1100000110
1110001010


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

Рейтинг@Mail.ru

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