Таблица истинности для функции (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

(X∧(¬Y))∧(¬(Z∨(¬X))):
XYZ¬YX∧(¬Y)¬XZ∨(¬X)¬(Z∨(¬X))(X∧(¬Y))∧(¬(Z∨(¬X)))
000101100
001101100
010001100
011001100
100110011
101110100
110000010
111000100

((X∧(¬Y))∧(¬(Z∨(¬X))))→Y:
XYZ¬YX∧(¬Y)¬XZ∨(¬X)¬(Z∨(¬X))(X∧(¬Y))∧(¬(Z∨(¬X)))((X∧(¬Y))∧(¬(Z∨(¬X))))→Y
0001011001
0011011001
0100011001
0110011001
1001100110
1011101001
1100000101
1110001001

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

XYZ¬YX∧(¬Y)¬XZ∨(¬X)¬(Z∨(¬X))(X∧(¬Y))∧(¬(Z∨(¬X)))(X∧¬Y)∧¬(Z∨¬X)→Y
0001011001
0011011001
0100011001
0110011001
1001100110
1011101001
1100000101
1110001001


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

Рейтинг@Mail.ru

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