Прекрасный курс теории. Увлекательно о самых сложных задачах.
На некоторые вопросы тестов я бы ответила по-другому.
Например. Дана логическая формула, которая может принимать только два значения: истина ("1") или ложь ("0"). В задании предлагается назвать переменные, значения которых легче всего определить, если вся формула должна быть равна 1.
Формула имеет простую структуру, состоящую из групп выражений в скобках, соединенных логической операцией - конъюнкцией (
или &). Значит, все выражение будет равно 1 тогда и только тогда, когда каждое выражение в скобках будет равно единице. Самая легко определяемая переменная - х1: в одной из скобок эта переменная стоит одна, а значит х1 может быть только 1.
Другая переменная (вторая "по легкости", на мой взгляд) - это х3. Отрицание этой переменной стоит в скобке вместе с отрицанием х1: х1 равно 1, отрицание х1 = 0, значит отрицание х3 может быть равным только 1, а х3 равно 0.
Автор называет переменные х1 и х4.
На некоторые вопросы тестов я бы ответила по-другому.
Например. Дана логическая формула, которая может принимать только два значения: истина ("1") или ложь ("0"). В задании предлагается назвать переменные, значения которых легче всего определить, если вся формула должна быть равна 1.
Формула имеет простую структуру, состоящую из групп выражений в скобках, соединенных логической операцией - конъюнкцией (
или &). Значит, все выражение будет равно 1 тогда и только тогда, когда каждое выражение в скобках будет равно единице. Самая легко определяемая переменная - х1: в одной из скобок эта переменная стоит одна, а значит х1 может быть только 1. Другая переменная (вторая "по легкости", на мой взгляд) - это х3. Отрицание этой переменной стоит в скобке вместе с отрицанием х1: х1 равно 1, отрицание х1 = 0, значит отрицание х3 может быть равным только 1, а х3 равно 0.
Автор называет переменные х1 и х4.
Комментариев нет:
Отправить комментарий