Форум » Логические уравнения » Задача 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 не в ту нить. Извините.
полная версия страницы