Элементы алгебры логики

Алгебра логики. Высказывания. Логические операции. Таблицы истинности логических операций «дизъюнкция», «конъюнкция», «инверсия», «импликация», «эквиваленция». Логические выражения. Вычисление логического значения составного высказывания при известных значениях входящих в него элементарных высказываний. Таблицы истинности логических выражений. Логические операции и операции над множествами. Примеры законов алгебры логики. Эквивалентные преобразования логических выражений. Решение простейших логических уравнений. Логические функции. Построение логического выражения с данной таблицей истинности. Нормальные формы: дизъюнктивная и конъюнктивная нормальные формы. Логические элементы компьютера. Триггер. Сумматор. Построение схемы на логических элементах по логическому выражению. Запись логического выражения по логической схеме