Основные понятия алгебры логики. Функции алгебры логики. Основные логические эквивалентности

Краткие итоги

В лекции рассматриваются основные понятия математической логики: высказывание, логическая переменная, логическая функция. Приведены элементарные логические функции от одной и двух переменных. Даны основные свойства тех из них, которые наиболее часто востребованы при построении средств вычислительной техники: конъюнкции, дизъюнкции, штриха Шеффера, стрелки Пирса и некоторых других. Представлены некоторые эквивалентности логических функций. Показ порядок вычисления логических функций путем построения для них таблицы истинности.