Логические задачи

Все школьники на уроках матема-тики знакомятся с алгебраическими и трансцендентными уравнения-ми. Более экзотические логические уравнения, в которых все величины  могут принимать только два значе-ния (“истина” и “ложь”), традици-онно тоже относились к математике. На практике они оказались полезны при разработке цифровых  логических устройств [4–5] и в по-следние годы стали появляться в за-даниях ЕГЭ по информатике. Так как ни в одном школьном учебнике со-ответствующего материала нет, учи-телю приходится разбираться в этом вопросе самостоятельно. В данной статье мы попытаемся немного про-яснить ситуацию. Далее для сокращения записи истинное значение обозначается единицей, а ложное — нулем. Для логических операций “И”, “ИЛИ”, “исключаю щее ИЛИ”, “импликация” и “эквивалентность” будем использо-вать знаки “·”, “+”, “⊕”, “→” и “≡” соот-ветственно, а операцию “НЕ” обозна-чим чертой сверху.