Основи алгоритмізації та програмування (Циммерман О.В.)

Последовательность допустимых символов языка программирования, имеющая смысл для транслятора.

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

Таблица истинности для эквивалентности

электрическая цепь проводников, состоящая из модулей (например, усилителей) и других компонентов (транзисторов, диодов, резисторов и конденсаторов), используемая для распределения и обработки электронных сигналов (например, напряжения) в соответствии с правилами символической логики и БУЛЕВОЙ АЛГЕБРЫ. В вычислительной и формальной математике логическая схема - это цепь связанных логических решений и операций, называемых ЛОГИЧЕСКИМИ ЭЛЕМЕНТАМИ.

С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой. Определение логической формулы: Всякая логическаяпеременная и символы "истина" ("1") и "ложь" ("0") — формулы.

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

Логические связи-это отрицание (изображается знаком ¬), конъюнкция (знак ), дизъюнкция (знак v), импликация (знак ) и эквивалентность (знак ). Высказывание ¬A (читается «не A») означает, что высказывание A ложно.