Логические выражения и таблицы истинности. Логические схемы и логические диаграммы

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

Однако есть и другой класс логических схем — это схе­мы с внутренней памятью, их еще называют последовательностными. В этих схемах значения выходных переменных определяются не только значениями входных переменных, но и их значениями в предыдущие моменты времени.

Таблица истинности (комбинационная табли­ца) — это таблица, которая содержит все комбинации входных пере­менных (аргументов) вместе с соответствующими им значениями выходных переменных (функций).

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