Форум » Логические уравнения » Задача 473. Система логических уравнений » Ответить

Задача 473. Система логических уравнений

HotSpot: http://kpolyakov.spb.ru/school/ege/gen.php?action=viewTopic&topicId=473 В каждом уравнении я раскрыл скобки так: было: (x1 ∨ x2) ∧ (x1 ∧ x2 → x3) ∧ (x1 ∨ y1) = 1 стало: (x1 ∨ x2) ∧ x1 ∧ (x2 → x3) ∧ (x1 ∨ y1) = 1 У меня получается ответ 64, так как все значения x (x1, x2, ... x6) должны быть равны 1. Это неверно?

Ответов - 6

Поляков: HotSpot пишет: Это неверно? Конечно, нет. Сначала выполняется конъюнкция (логическое умножение), а потом импликация.

HotSpot: Я попробовал раскрыть иначе: (x1 ∨ x2) ∧ (x1 ∧(¬x2 ∨ x3)) ∧ (x1 ∨ y1) = 1(x1 ∨ x2) ∧ (x1 ∧ ¬x2 ∨ x1 ∧ x3) ∧ (x1 ∨ y1) = 1 Построил таблицу для всех сочетаний x1, x2: click here У меня все равно получается, что все x должны быть равны 1

Поляков: HotSpot пишет: У меня все равно получается, что все x должны быть равны 1 Посмотрите разбор задачи Р-27 в этом файле.

HotSpot: Спасибо. Разобрался

dbaxps: https://www.youtube.com/watch?v=MDL5Mym5Aac

dbaxps: Submit не в ту нить. Извините.



полная версия страницы