Булева алгебра и таблицы истинности

Булева переменная принимает два логических значения — 0 и 1. Базовые операции NOT, AND и OR задают правила преобразования этих значений; из них строятся более сложные функции NAND, NOR, XOR и XNOR. Таблица истинности перечисляет результат функции для всех комбинаций входов.

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

• NOT инвертирует значение: ¬0=1, ¬1=0.
• AND равен 1 только когда все обязательные входы равны 1.
• OR равен 1, если хотя бы один вход равен 1.
• XOR для двух входов равен 1, когда входы различаются.
• Таблица для n бинарных входов содержит 2^n комбинаций.

Выражение Y=A·B+¬C означает: сначала вычислить A AND B и NOT C, затем выполнить OR. Приоритет и скобки важны так же, как в обычной алгебре.

Законы де Моргана связывают инверсию AND и OR: ¬(A·B)=¬A+¬B; ¬(A+B)=¬A·¬B. Они позволяют преобразовывать схему под NAND/NOR реализацию.

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

1. Запишите таблицы NOT, AND, OR, XOR.
2. Для Y=¬A·B + A·¬B составьте таблицу и узнайте функцию.
3. По словесному условию создайте булево выражение с тремя входами.
4. Нарисуйте схему из вентилей для выражения.
5. Проверьте все 2^3 входных комбинации в симуляторе.

• Путать логическое OR с арифметическим сложением.
• Забывать инверсию отдельного входа или всей группы.
• Считать XOR обычным OR.
• Не учитывать приоритет операций и скобки.

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

Булева алгебра связывает словесное условие с цифровой схемой. Таблица истинности — исчерпывающая проверка комбинационной функции.