Теоретические сведения. Математической основой цифровой электроники и вычислительной техники является алгебра логики или булева алгебра

Математической основой цифровой электроники и вычислительной техники является алгебра логики или булева алгебра.

В булевой алгебре независимые переменные или аргументы (X) принимают только два значения: 0 или 1. Зависимые переменные или функции (Y) также могут принимать только одно из двух значений: 0 или 1. Функция алгебры логики (ФАЛ) представляется в алгебраическом виде:

Основные логические функции:

- логическое отрицание (инверсия):

- логическое сложение (дизъюнкция):

- логическое умножение (конъюнкция):

- функция равнозначности (эквивалентности):

- функция неравнозначности (сложение по модулю два):

- функция стрелка Пирса:

- функция штрих Шеффера:

Законы алгебры логики

Распределительный закон:

Правило повторения:

Правило склеивания:

Правило отрицания:

Теорема де Моргана:

Тождества:

Дата добавления: 2015-05-06