Консультация № 179564
21.07.2010, 20:46
0.00 руб.
0 1 1
Здравствуйте уважаемые эксперты, помогите пожалуйста решить задачу:
Записать таблицу истинности составного логического высказывания
( -x*y [$8594$] z) [$8744$] ( -z [$8594$] x*-y*z)*x*z.

-x - это отрицание x (не x)

Обсуждение

давно
Посетитель
7438
7205
22.07.2010, 10:10
общий
это ответ
Здравствуйте, Чаркин Иван Александрович.
Поскольку операции имеют следующий порядок приоритетов (в порядке возрастания): →, ∨, *, -, то предполагаем, что имеем
( ((-x)*y) → z) ∨ (( (-z) → (x*(-y)*z))*x*z)
Для сокращения записи обозначим цифрами номера столбцов
1 = x
2 = y
3 = z
4 = -x = -1
5 = -y = -2
6 = -z = -3
7 = (-x)*y = 4*2
8 = ((-x)*y)→z = 7→3
9 = x*(-y) = 1*5
10 = (x*(-y))*z = 9*3
11 = (-z)→((x*(-y))*z) = 6->10
12 = ((-z)→((x*(-y))*z))*x = 11*1
13 = ((-z)→((x*(-y))*z))*x*z = 12*3
14 = (((-x)*y)→z)∨(((-z)→((x*(-y))*z))*x*z) = 8∨13
Код:
1  2  3  4  5  6  7  8  9 10 11 12 13 14

0 0 0 1 1 1 0 1 0 0 0 0 0 1
0 0 1 1 1 0 0 1 0 0 1 0 0 1
0 1 0 1 0 1 1 0 0 0 0 0 0 0
0 1 1 1 0 0 1 1 0 0 1 0 0 1
1 0 0 0 1 1 0 1 1 0 0 0 0 1
1 0 1 0 1 0 0 1 1 1 1 1 1 1
1 1 0 0 0 1 0 1 0 0 0 0 0 1
1 1 1 0 0 0 0 1 0 0 1 1 1 1
Если что-то непонятно или имелось в виду что-то другое, спрашивайте в мини-форуме
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен
Форма ответа