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