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


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

(¬X)∧Y:
XY¬X(¬X)∧Y
0010
0111
1000
1100

X∨Y:
XYX∨Y
000
011
101
111

¬(X∨Y):
XYX∨Y¬(X∨Y)
0001
0110
1010
1110

Z≡(¬(X∨Y)):
ZXYX∨Y¬(X∨Y)Z≡(¬(X∨Y))
000010
001101
010101
011101
100011
101100
110100
111100

¬((¬X)∧Y):
XY¬X(¬X)∧Y¬((¬X)∧Y)
00101
01110
10001
11001

¬(Z≡(¬(X∨Y))):
ZXYX∨Y¬(X∨Y)Z≡(¬(X∨Y))¬(Z≡(¬(X∨Y)))
0000101
0011010
0101010
0111010
1000110
1011001
1101001
1111001

(¬((¬X)∧Y))→(¬(Z≡(¬(X∨Y)))):
XYZ¬X(¬X)∧Y¬((¬X)∧Y)X∨Y¬(X∨Y)Z≡(¬(X∨Y))¬(Z≡(¬(X∨Y)))(¬((¬X)∧Y))→(¬(Z≡(¬(X∨Y))))
00010101011
00110101100
01011010101
01111010011
10000110100
10100110011
11000110100
11100110011

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

XYZ¬X(¬X)∧YX∨Y¬(X∨Y)Z≡(¬(X∨Y))¬((¬X)∧Y)¬(Z≡(¬(X∨Y)))¬(¬X∧Y)→¬(Z≡¬(X∨Y))
00010010111
00110011100
01011101001
01111100011
10000101100
10100100111
11000101100
11100100111


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

Рейтинг@Mail.ru

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