4591 читали · 5 лет назад
Диаграммы Эйлера-Венна (помните, что это?) и доказательство законов де Моргана для множеств
Внимание: важная информация перед прочтением! Если Вы новичок в теории множеств, ознакомьтесь, пожалуйста, со следующими материалами канала: Введение в математическую топологию Определение множества,
Логика. Продолжение
В настоящее время на вступительных экзаменах по информатике есть много заданий по теме “алгебра логики”. Поэтому в этой статье рассмотрим пару примеров алгебры логики из ЕГЭ Алгебра логики – раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов. Немного повторения из прошлой темы. Логические операции: ¬ отрицание (инверсия)  &, /\ конъюнкция (“И”)  V дизъюнкция (“ИЛИ”)   логическое следование (импликация) ...