Для функции ¬(Y→¬Z↓P):


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

(¬Z)↓P:
ZP¬Z(¬Z)↓P
0010
0110
1001
1100

Y→((¬Z)↓P):
YZP¬Z(¬Z)↓PY→((¬Z)↓P)
000101
001101
010011
011001
100100
101100
110011
111000

¬(Y→((¬Z)↓P)):
YZP¬Z(¬Z)↓PY→((¬Z)↓P)¬(Y→((¬Z)↓P))
0001010
0011010
0100110
0110010
1001001
1011001
1100110
1110001

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

YZP¬Z(¬Z)↓PY→((¬Z)↓P)¬(Y→¬Z↓P)
0001010
0011010
0100110
0110010
1001001
1011001
1100110
1110001


Наши друзья

Качественное решение задач курсовых работ, РГЗ по техническим предметам.
botaniks.ru

Это интересно...

Наши контакты

Рейтинг@Mail.ru

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