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


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

(¬X)∨Z:
XZ¬X(¬X)∨Z
0011
0111
1000
1101

Y∧Z:
YZY∧Z
000
010
100
111

¬(Y∧Z):
YZY∧Z¬(Y∧Z)
0001
0101
1001
1110

(¬(Y∧Z))∨X:
YZXY∧Z¬(Y∧Z)(¬(Y∧Z))∨X
000011
001011
010011
011011
100011
101011
110100
111101

((¬X)∨Z)→((¬(Y∧Z))∨X):
XZY¬X(¬X)∨ZY∧Z¬(Y∧Z)(¬(Y∧Z))∨X((¬X)∨Z)→((¬(Y∧Z))∨X)
000110111
001110111
010110111
011111000
100000111
101000111
110010111
111011011

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

XZY¬X(¬X)∨ZY∧Z¬(Y∧Z)(¬(Y∧Z))∨X(¬X∨Z)→¬(Y∧Z)∨X
000110111
001110111
010110111
011111000
100000111
101000111
110010111
111011011


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

Рейтинг@Mail.ru

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