«Алгебра логики» — один из ключевых разделов блока «Теоретические основы информатики» кодификатора ФИПИ для профильного ЕГЭ по информатике (КЕГЭ, 2026). Эта тема традиционно даёт несколько заданий в компьютерной части экзамена: на построение и анализ таблиц истинности сложных логических выражений, на применение законов алгебры логики (де Моргана, дистрибутивности, поглощения) для упрощения выражений, и на подсчёт количества наборов переменных, при которых логическая формула истинна или ложна.
Материал построен так, чтобы охватить весь спектр типовых задач: от базовых операций (конъюнкция, дизъюнкция, отрицание, импликация, эквивалентность) до комбинированных выражений с несколькими переменными. Каждый вопрос полностью самодостаточен — логическое выражение и все нужные данные даны прямо в тексте вопроса символами ¬, ∧, ∨, →, ↔.
Дистракторы отражают реальные заблуждения школьников: неверный приоритет операций, ошибочное применение закона де Моргана, путаницу между двумя дуальными законами дистрибутивности, и неверный подсчёт числа истинных/ложных наборов при работе с цепочками импликаций.
Флеш-карты закрепляют законы алгебры логики, таблицы истинности базовых операций и ключевые определения — удобны для быстрого повторения перед экзаменом.
Материал основан на блоке кодификатора ФИПИ 2026 «Теоретические основы информатики» (раздел «Алгебра логики») для профильного ЕГЭ по информатике (КЕГЭ) — все 10 вопросов оригинальные, без воспроизведения реальных заданий из открытого банка ФИПИ.