Текст выступления:

Алгебра логики
1. Алгебра логики в информатике: основы, операции, таблицы истинности

Из простых условий строим логические выражения и проверяем, когда они истинны.

2. Почему эту тему проходят в 9 классе

Логика учит компьютер принимать решения по условиям: «если», «и», «или», «не». Поэтому в информатике она нужна в проверках программ, поиске и фильтрах данных. Историческая основа — идеи Джорджа Буля (XIX век).

Эта тема появляется в 9 классе не случайно: именно здесь формируется мышление, которое умеет превращать жизненную ситуацию в понятные правила. Компьютер не «понимает смысл» как человек — он работает с признаками и состояниями. А логика как раз и задаёт, как из признаков получить итог: верно или неверно, 1 или 0.

3. Высказывание как основное понятие логики

Любая логическая задача начинается с высказывания — предложения, для которого можно однозначно определить, истинно оно или ложно. Например: «7 — простое число» или «Москва — столица России» имеют ясный ответ.

Важно и другое: не каждое предложение подходит для логики. Не являются высказываниями вопросы, просьбы, команды и неопределённые фразы вроде «Скоро будет тепло» или «Открой тетрадь». Их истинность заранее не задана, потому что зависит от ситуации и намерений.

И наконец, логика требует строгости: у утверждения должно быть только два значения — истина или ложь. Такая проверяемость делает высказывания удобными для вычислений и таблиц: можно системно перебрать все варианты входных данных и увидеть закономерность.

4. Логические величины: истина и ложь

Чтобы дальше работать с высказываниями, вводят логические величины — способы обозначить истину и ложь. Обычно это два числа и два устойчивых состояния.

Начнём с простого: в алгебре логики истина обозначается числом 1, а ложь — числом 0. Так информацию легче переводить в язык цифровых устройств: «есть сигнал» — это 1, «нет сигнала» — это 0.

Зачем же компьютеру именно две величины? Потому что многие реальные проверки можно представить как выбор из двух ответов: включено/выключено, да/нет, верно/неверно. На схемах обычно рисуют две ветви и подписывают их так, чтобы было понятно, какой вариант соответствует истине и какой — лжи.

Теперь, когда ясны «кирпичики» — 1 и 0, можно собрать из них правила, как получается итоговое решение.

5. Основные логические операции и их смысл

Следующий шаг — научиться трём главным операциям. Операции И, ИЛИ и НЕ задают правила получения результата из входных значений 0 и 1.

Операция «И» связывает условия так, будто проверяется совместность: выражение становится истинным только тогда, когда выполнены сразу оба требования.

Операция «ИЛИ» работает иначе: достаточно, чтобы выполнилось хотя бы одно из условий.

Операция «НЕ» меняет смысл на противоположный: то, что было истинным, становится ложным, и наоборот.

По сути, каждая операция «по-своему собирает» условия: И требует «оба вместе», ИЛИ допускает «одно из двух», НЕ делает инверсию — отрицание.

Чтобы не путаться, логики используют таблицы истинности: они показывают результат для всех возможных входных комбинаций.

6. Таблица истинности операции И

Операция И означает: «одновременно выполняются оба условия». Поэтому достаточно одного ложного входа, чтобы результат стал 0.

Представим два условия A и B. Как бы ни менялась ситуация, итог И будет равен 1 только при одном-единственном сочетании: когда A равна 1 и B равны 1.

График и таблица показывают строгую зависимость: логический результат не «частично истинен». Он либо полностью подтверждён двумя условиями, либо сразу опровергнут одним. Это важно для программ: если требуется сразу несколько условий, нельзя «облегчать» проверку — иначе можно получить неверные решения.

Дальше рассмотрим операцию ИЛИ — она похожа, но даёт принципиально другой смысл результата.

7. Таблица истинности операции ИЛИ

Операция ИЛИ соответствует выбору: подходит условие A или подходит условие B. Поэтому результат становится 1 уже при одном истинном входе.

Если в выражении участвуют A и B, то достаточно, чтобы хотя бы одно из них было 1. Тогда логическая проверка отвечает: «условие выполнено».

По данным видно простое правило: 0 получается только в ситуации, когда оба входа равны 0; в остальных случаях выражение истинно.

Именно поэтому ИЛИ часто используют в фильтрах и поиске: «найти по слову A или по слову B», «разрешить доступ, если выполнено условие 1 или условие 2».

Но иногда нужно не «проверить условие», а «проверить, что условия нет». Тут вступает отрицание — операция НЕ.

8. Таблица истинности операции НЕ

НЕ не «склеивает» условия, а выполняет инверсию: меняет смысл высказывания на противоположный.

Если вход истинный, на выходе получается ложь. Если вход ложный — на выходе истина. То есть операция НЕ работает как переключатель: смысл «переворачивается».

Таблица подчёркивает простую логику отрицания:

было «верно» — стало «неверно»;
было «неверно» — стало «верно».

В реальных задачах это встречается постоянно: «запрещено, если пользователь не подтвердил действие», «доступ закрыт, если условие не выполнено». Там по сути используется именно такая «перевёрнутая» проверка.

После трёх базовых операций становится важным умение сравнивать выражения: одинаковый смысл может быть записан по-разному. Это и рассмотрим дальше.

9. Как строится логическое выражение

Логическое выражение удобно строить как пошаговый алгоритм. Сначала определяются входные условия A и B, затем они объединяются операциями так, чтобы получить итог 0 или 1.

Идея проста: выражение — это последовательность проверок. Можно представить процесс как «конструктор»: сначала выбираются признаки, затем решается, нужно ли отрицание, и наконец определяется, как именно соединяются условия — через И или через ИЛИ.

Хотя визуальная схема на слайде формально показывает структуру вычисления, смысл можно описать словами так:

задать значения A и B;
подать их в нужную логическую операцию;
получить результат, который и будет значением всего выражения.

В учебной логике обычно рассматривают выражения из 2–3 операций, потому что таблицы истинности тогда легко проверить вручную. А когда выражений несколько, появляется тема порядка вычисления — и тут становится важным, что операции выполняются не «как попало».

10. Порядок выполнения логических операций

В выражении три ключевых операции: НЕ, И и ИЛИ. Их выполняют по приоритету (а скобки задают порядок), чтобы таблица истинности была верной.

Если перепутать порядок, изменится смысл всего выражения. Поэтому в логике приоритет — это не формальность, а гарантия того, что итоговое 0 или 1 получится именно по задумке.

Сначала выполняется самый «сильный» тип, затем действие И, а в конце — ИЛИ. И если где-то нужно «передвинуть» смысл, используют скобки: они как переводчик, который говорит вычислению, в каком порядке действовать.

Эта мысль особенно полезна для программирования: язык может быть строгим к скобкам, и без них выражение может стать другим.

Когда порядок вычисления понятен, полезно увидеть, как логика превращается в «железные» правила, которые действительно стоят за алгоритмами.

11. Как логика становится «железом»: И, ИЛИ, НЕ

Логика становится «железом» потому, что цифровые устройства тоже работают с двумя состояниями. Операции И, ИЛИ и НЕ — это не только школьная тема, но и фундамент для работы схем: переключателей, датчиков, процессорных решений.

Представим, как это ощущается «образно». Операция И похожа на дверь с двумя условиями: чтобы пройти, нужно чтобы «оба пропуска» одновременно оказались в правильном состоянии. Операция ИЛИ — как турникет, где достаточно одного действующего условия: если выполнено хотя бы одно, система разрешает проход.

А НЕ — это переключение «проверил наоборот». В железе это реализуют с помощью инверторов: знак истинности меняется на противоположный.

Так логика превращается в инженерную систему: каждое простое правило можно построить схемой, а любые сложные решения — собрать из простых элементов.

Но когда выражения усложняются, возникает следующая проблема: как сокращать формулы, не испортив смысл. Здесь помогают законы алгебры логики.

12. Законы алгебры логики: упрощаем формулы без потери смысла

Законы алгебры логики помогают преобразовывать выражения так, чтобы итоговое значение не менялось. То есть можно менять запись — и при этом результат для всех наборов A и B останется тем же.

Зачем это нужно? Во‑первых, чтобы сократить запись условий: длинное условие проще читать и быстрее проверять. Во‑вторых, чтобы проверять формулы: если упрощённая версия совпадает по смыслу, значит логика не потерялась.

В‑третьих, такие преобразования делают выражение понятнее: становится ясно, какие части действительно влияют на результат, а какие — избыточны.

Логические тождества позволяют уменьшать сложность условия и делать формулу более «прозрачной», не меняя наборы, на которых она истинна.

Но как убедиться, что два разных вида записи действительно равносильны? Следующий шаг — проверка равносильности с помощью таблиц истинности.

13. Проверка равносильности логических выражений

Проверка равносильности начинается с вопроса: от чего зависит результат? Для обоих выражений он определяется только тем, есть ли среди A и B хотя бы одна единица.

Другими словами, если в наборе A и B появляется хотя бы один «истинный» вход, итог совпадает для обоих вариантов записи. А когда среди A и B нет ни одной единицы — оба равны 0 — тогда результат тоже совпадает.

Смысл подтверждается сравнением по таблице истинности: совпадение значений для 00, 01, 10 и 11 показывает, что запись отличается, а смысл — одинаковый.

Это проявление переместительного закона: иногда порядок «элементов» в выражении можно менять, не меняя результат.

Получается важная идея: таблица истинности — универсальная проверка. Если для всех наборов итог одинаков, значит выражения равносильны.

Теперь полезно закрепить, что логические операции живут не только в тетрадях, но и вокруг — в обычных правилах и сценариях выбора.

14. Логика вокруг нас: из правил — в условия

Логика вокруг нас: из правил — в условия. Часто люди сначала формулируют простые жизненные решения, а затем незаметно превращают их в алгоритм.

Например, в быту есть множество сценариев, которые по сути требуют двух значений. «Можно пройти, если проверка выполнена» — это И. «Можно пройти, если выполнено одно из условий» — это ИЛИ. «Нельзя пройти, если условие не выполнено» — это НЕ.

Когда правила становятся точными, они превращаются в понятные проверки. А когда проверки становятся понятными, ими можно управлять: фильтровать информацию, выдавать результаты поиска, автоматизировать решения в программах и устройствах.

Логическое мышление в итоге учит видеть структуру: где нужны оба условия, где достаточно одного, а где требуется отрицание.

И завершим разговор алгоритмом: как именно проверять логическое условие, чтобы получить итог 0 или 1.

15. Алгоритм проверки логического условия

Алгоритм проверки логического условия показывает практический путь: как из признаков получить итог 0 или 1. Это особенно полезно для доступа, выбора действия и условий в программах.

Смысл такого алгоритма можно представить последовательно: сначала берутся исходные признаки A и B. Затем определяется, какая логическая операция нужна — НЕ, И или ИЛИ. После этого рассчитывается результат выражения.

Если в условии есть отрицание, смысл переворачивается. Если есть «И», важна одновременность: один ложный сигнал может «обнулить» итог. Если есть «ИЛИ», достаточно одного истинного признака, чтобы результат стал 1.

Именно поэтому таблицы истинности и правила приоритета помогают делать проверку надёжной: выражение выполняется так, как задумано, и итог не зависит от случайной интерпретации.

На этом уровне логика становится инструментом. Она превращает формулировки в код принятия решений: строгие, проверяемые и понятные для вычислительных устройств.

16. Таблица истинности как способ решения задач

Когда в задаче требуется понять, при каких условиях высказывание считается истинным, на помощь приходит таблица истинности. Она работает как строгая «машина проверки»: для каждой возможной комбинации значений переменных A и B подставляются 00, 01, 10 и 11, а результат выражения фиксируется как 0 или 1 — без догадок.

Смысл здесь в том, что логика не полагается на интуицию. Даже если кажется, что формула «должна вести себя так», таблица показывает точную картину: где формула истинна, а где ложна. Это похоже на проверку рецепта по шагам: ингредиенты те же, порядок тот же, итог получается воспроизводимым.

Таблица истинности удобна и тем, что она универсальна: меняется выражение — меняется заполнение клеток, но принцип остаётся тем же. Именно поэтому такой подход часто применяют в учебных задачах по логике, где важно доказать ответ, а не просто угадать.

Переходя к следующему шагу, важно помнить: таблица помогает не только находить верные значения, но и выявлять типичные ошибки, которые возникают ещё до заполнения таблицы — на этапе записи логического выражения.

17. Типичные ошибки при работе с логическими выражениями

Однако таблица истинности особенно полезна, когда заранее допущены ошибки в записи выражения. Один из самых частых промахов — путаница операций И и ИЛИ. Например, если задача требует «оба условия должны выполняться», а записали «достаточно одного», итог станет отличаться на части наборов переменных. В реальной логике это превращает жёсткое условие в более слабое.

Ещё одна распространённая причина неверных результатов — пропуск отрицания НЕ, неправильные скобки и игнорирование приоритета операций. Логические выражения читаются не «как удобно», а по правилам порядка действий. Если мысленно считать слева направо без учёта приоритетов, легко получить формулу, которая на вид похожа на правильную, но даёт другой результат.

В школьной практике это часто проявляется так: ученик уверен, что «вроде то же самое», но таблица истинности быстро показывает несовпадения. Логика здесь не про эмоции и ощущения — она про точность. Поэтому таблицу истинности можно считать не только инструментом решения, но и способом проверки корректности записи.

Дальше возникает закономерный вопрос: насколько быстро можно построить таблицу? Ответ напрямую связан с количеством переменных, и именно это определяет размер работы.

18. Сколько строк нужно в таблице истинности

Чтобы понять, сколько времени займёт построение таблицы истинности, нужно учитывать число переменных в выражении. Количество строк зависит от того, сколько существует комбинаций значений. Для каждой новой переменной наборы удваиваются: переменных стало больше — возможных случаев стало в два раза больше.

Именно поэтому таблица быстро растёт. При небольшом числе переменных это удобно и наглядно, но при увеличении сложности объём таблицы становится огромным. Увидеть этот рост заранее — значит, сэкономить силы и не тратить время на построение того, что практически невозможно заполнить без ошибок.

В общем виде можно сказать так: если переменных n, то строк будет 2^n. Это фундаментальная закономерность, которую изучают в школе как способ системно перечислять все варианты. Не «часть случаев», а именно все — чтобы проверка была полной.

Экспоненциальный рост количества строк — причина, почему в программировании и инженерных задачах помимо таблиц часто используют логические преобразования и алгоритмы. Но таблица истинности остаётся важной базой: она помогает понять, как условия и проверки работают «внутри» логических правил.

На этом фоне логика особенно хорошо раскрывается в программировании, где условия управляют поведением программы: фильтры, проверки и маршрутизация действий — всё это опирается на ту же алгебру.

19. Логика в программировании: условия, проверки, фильтры

В программировании логические выражения — это основа того, как система принимает решения. Условия проверяют: «выполняется ли требование?». Проверки подтверждают: «можно ли продолжать?». А фильтры отбирают: «какие элементы подходят по правилам?»

Логическая конструкция почти всегда превращается в набор проверок значений. Например, если пользователь ввёл данные, программа сравнивает их с условиями и либо разрешает действие, либо блокирует. Это не просто «текст кода», а формальная процедура, похожая на таблицу истинности: при разных сочетаниях значений результат будет разным.

Фильтры в поиске и рекомендациях работают по тому же принципу. Внутри системы для каждого объекта вычисляется значение логического условия: подходит или нет. Если условие истинно, объект остаётся в выдаче; если ложно — отбрасывается.

Важно и то, что логика при этом становится максимально строгой: пропущенное отрицание, неверная связка И/ИЛИ или ошибочные скобки могут изменить фильтр, а значит — изменить поведение приложения. Поэтому мышление через правила и проверку результатов — это навык, который напрямую переносится из школьной логики в реальные технологии.

Остаётся собрать всё вместе и сформулировать ключевые выводы: как именно алгебра логики помогает понимать условия и упрощать выражения, не теряя смысла.

20. Ключевые выводы по алгебре логики

Алгебра логики описывает высказывания и правила объединения условий с помощью И, ИЛИ и НЕ. Таблицы истинности проверяют результат для всех наборов, поэтому они подходят там, где важно доказать ответ. А законы логики позволяют упрощать формулы без потери смысла, делая записи короче и понятнее.

Источники

Информатика. 9 класс: учебник/под ред. Н.Д. Угриновича. — М.: БИНОМ. Лаборатория знаний, 2019.

Графова Л.В., Семакин И.Г. Алгебра логики и элементы теории информации. — М.: Просвещение, 2012.

Булев Дж. Исследование законов мышления, на которых основаны математические теории логики и вероятностей. — СПб.: Наука, 2004.

Семакин И.Г., Шестаков А.П. Основы программирования и алгоритмизации. — М.: БИНОМ. Лаборатория знаний, 2017.

Горн А. А. Логика и логические основы информатики: учеб. пособие. — М.: Просвещение, 2018.

Гейтс П. Основы дискретной математики для школьников. — СПб.: Питер, 2019.

Канторович Л. В., Смирнов В. А. Дискретная математика. Логика и вычисления. — М.: БИНОМ. Лаборатория знаний, 2017.

Формальная логика: учебник / под ред. Н. И. Кондакова. — М.: Просвещение, 2016.