Основные понятия алгебры логики

ЛОГИЧЕСКИЕ ОСНОВЫ ЦИФРОВЫХ АВТОМАТОВ

Понятие цифрового автомата было введено как модель для описания функционирования устройств, предназначенных для переработки цифровой или дискретной информации.

Для формального описания цифровых автоматов применяется аппарат алгебры логики, созданной английским математиком Дж. Булем (1815-1864). Поэтому алгебру логики называют алгеброй Буля или булевой алгеброй.

В алгебре логики применительно к описанию цифровых автоматов, работающих в двоичном представлении кодов (или цифровой информации) основными понятиями являются логическая (булева) переменная и логическая функция (функция алгебры логики - ФАЛ).

Логическая (булева) переменная - такая величина x, которая может принимать только два значения: x = {0,1}.

Логическая функция (функция алгебры логики - ФАЛ) - функция многих аргументов f(x_n-1, x_n-2,,..., x₀), принимающая значения равные нулю или единице на наборах логических переменных x_n-1, x_n-2,,..., x₀.

В дальнейшем в формальных описаниях наборов переменных и логических функций сами наборы переменных интерпретируются как двоичные коды (числа). В двоичных кодах расположение логических переменных упорядочено в порядке уменьшения индекса слева направо и каждая логическая переменная имеет вес в зависимости от позиции в коде, увеличивающийся справа налево. Вес каждой i - той логической переменной, являющейся значением разряда двоичного числа равен 2 ⁱ (i = 0,..., n-1).

Для n - разрядного кода общее количество уникальных наборов переменных

N = 2ⁿ; (1)

Максимальное числовое значение двоичного кода равно

A_макс = 2 ⁿ -1; (2)

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

x	f0(x)	f1(x)	f2(x)	f3(x)

Функция f₀(x) называется константой нуля, а функция f₃(x) - константой единицы. Функция f₁(x), повторяющая значения логической переменной, - тождественная функция (f₁(x) º x), а функция f₂(x), принимающая значения, обратные значениям переменной x, - логическое отрицание или инверсия (НЕ) (f₂(x) = ).

Значения всех логических функций от двух переменных представлены в таблице 2. Для функции двух переменных, согласно ф.(1), существует четыре уникальных набора переменных. Функции отличаются друг от друга набором значений 0 и 1 в четырех разрядах кода значений функции. Общее количество функций на n - местном или n - разрядном наборе переменных равно

; (3)

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

Две функции равносильны друг другу, если они принимают на всех возможных наборах переменных одни и те же значения.

Аналитически это свойство описывается следующей формулой:

f₁ (x_n-1, x_n-2,,..., x₀) = f₂ (x_n-1, x_n-2,,..., x₀); (4)

Обе функции в ф.(4) могут иметь разные формы аналитической записи, но практически наиболее выгодной будет самая простая форма записи.

Система булевых функций W называется функционально полной, если для любой булевой функции n - переменных f(x_n-1, x_n-2,,..., x₀) может быть построена равносильная ей функция комбинированием булевых переменных x_n-1, x_n-2,,..., x₀ и функций системы W, взятых в любом конечном количестве экземпляров каждая. Такая система булевых функций (W) называется базисом.

Таким образом, базис - полная система функций алгебры логики (ФАЛ), с помощью которой любая ФАЛ может быть представлена суперпозицией исходных функций W.

Базисом является система функций И (конъюнкция), ИЛИ (дизъюнкция), НЕ (инверсия), свойства которых были впервые изучены Дж. Булем.

Базисами являются системы:

- И,НЕ;

- ИЛИ,НЕ;

- функция Шеффера И-НЕ;

- функция Пирса ИЛИ-НЕ.

Базис является минимальным, если удаление из него хотя бы одной функции превращает систему ФАЛ в неполную. Базис И, ИЛИ, НЕ - избыточный.

Дата добавления: 2014-01-07