Навигация
Лекция. Алгебра логики
Кроме обычной алгебры существует специальная, основы которой были заложены английским математиком XIX века Дж. Булем. Эта алгебра занимается так называемым исчислением высказываний.
Ее особенностью является применимость для описания работы так называемых дискретных устройств, к числу которых принадлежит целый класс устройств автоматики и вычислительной техники.
При этом сама алгебра выступает в качестве модели устройства. Это означает, что работа произвольного устройства указанного типа может быть лишь в каком-то отношении описана с помощью построений этой алгебры. Действительное реальное устройство физически работает не так, как это описывает алгебра логики. Однако применение положений этой теории позволяет сделать ряд полезных в практическом отношении обобщений.
Рассмотрим некоторую схему и представим ее в виде так называемого "черного" ящика.
Будем считать, что внутреннее содержимое ящика неизвестно.
X1,X2,X3 – входные сигналы, F – выходной сигнал.
Считаем также, что схема А – элементарная, т.е. нет другой схемы Б, меньшей, чем А, которая бы содержалась в А.
Построим абстрактное устройство из элементарных устройств, типа А, Б, В и т.д. Очевидно, более сложное устройство можно построить из простых путем:
1. последовательного соединения элементов;
2. параллельного соединения;
3. перестановки входов элементов.
Тогда роль Y1 для второго элемента Б будет играть:
Y1=FА(X1,X2,X3)
Y2=FБ(X1,X2)
F=F(Y1,Y2)=F(FА(X1,X2,X3),FБ(X1,X2))
Параллельное соединение элементов не меняет функции, поэтому, с точки зрения логики, этот тип соединения не используется. Физически иногда все же применяют параллельное соединение элементов, но в основном для того, чтобы, например, усилить сигнал.
В связи с этим, параллельное соединение элементов в алгебре логики не рассматривается.
Функция, которую выполняет элемент, вообще говоря, зависит от переменных, которые подаются на вход.
Поэтому перестановка аргументов влияет на характер функции.
F=F(FА(X1,X2,X3),FБ(X2,X3)) 
F(FБ(X2,X3),FА(X1,X2,X3))
Таким образом, произвольные, сколь угодно сложные в логическом отношении схемы, можно строить, используя два приема:
1. последовательное соединение элементов;
2. перестановка входов элементов.
Этим двум физическим приемам в алгебре логики соответствуют:
1. принцип суперпозиции (подстановка в функцию вместо ее аргументов других функций);
2. подстановка аргументов (изменение порядка записи аргументов функций или замена одних аргументов функции другими).
Итак, физическая задача построения и анализа работы сложного устройства заменяется математической задачей синтеза и анализа соответствующих функций алгебры логики.
Элементарные функции алгебры логикиСуществует несколько синонимов по отношению к функциям алгебры логики:
1. функции алгебры логики (ФАЛ);
2. переключательные функции;
3. булевские функции;
4. двоичные функции.
По мере необходимости будем пользоваться всеми этими синонимами.
Рассмотрим некоторый набор аргументов:
<X1,X2,X3,...Хi,...Xn>
и будем считать, что каждый из аргументов принимает только одно из двух возможных значений, независимо от других
Чему равно число различных наборов?
Xi = {0, 1}
Поставим каждому набору в соответствие некоторое двоичное число:
X1,X2,...........Xn
0, 0,...........,0 нулевой набор
0, 0,...........,1 первый набор
0, 0,..........1,0 второй набор
...................
1, 1,...........,1 (2n-1)-ый набор
Очевидно, что количество различных X1,X2,...........Xn n-разрядных чисел в позиционной двоичной системе есть 2n.
Допустим, что некоторая функция F(X1,X2,....Xn) задана на этих наборах и на каждом из них она принимает либо '0'-ое, либо '1'-ое значение.
Такую функцию называют функцией алгебры логики или переключательной функцией.
Чему равно число различных переключательных функций 'n' аргументов?
Т.к. функция на каждом наборе может принять значение '0' или '1', а всего различных наборов 2n, то общее число различных функций 'n' аргументов есть: 22n.
По сравнению с аналитической функцией непрерывного аргумента даже для одного аргумента существует множество различных функций.
| Число аргументов | 1 | 2 | 3 | 4 | 5 | 10 |
| Число различных перекл. ф-ций | 4 | 16 | 256 | 65536 | ~4*109 | ~10300 |
Различные устройства ЭВМ содержат десятки и сотни переменных (аргументов), поэтому понятно, что число различных устройств, отличающихся друг от друга, практически бесконечно.
Итак, нужно научиться строить эти сложные функции (а стало быть, и устройства), а также анализировать их.
| Задача синтеза более сложных функций заключается в представлении их через простые на основе операций суперпозиции и подстановки аргументов. |
Таким образом, вначале необходимо изучить эти элементарные функции, чтобы на их основе строить более сложные.
ФАЛ одного аргументаЧтобы задать ФАЛ, нужно задать ее значения на всех наборах аргументов.
| Аргумент Х | значение | Наименование функции | |
| 0 | 1 | ||
| F0(x) | 0 | 0 | константа '0' |
| F1(x) | 0 | 1 | переменная 'х' |
| F2(x) | 1 | 0 | инверсия 'х' (отрицание х) |
| F3(x) | 1 | 1 | константа '1' |
Будем у функции ставить индекс, эквивалентный набору ее значений для соответствующих значений аргумента, начиная с 0,0,....,0,..... и т.д. в порядке возрастания.
Эти функции можно реализовать на 4-х элементах, каждый из которых имеет максимум один вход. Таким образом, принципом подстановки аргументов для построения более сложных функций нельзя воспользоваться.
Необходимо рассмотреть более сложные функции, т.е. ФАЛ 2х аргументов.
Дадим такие определения:
Похожие работы
... схемами с односторонней проводимостью, имеющими конечное число входов и один выход. Простейшие электронные схемы, реализующие элементарные булевы функции (НЕ, И, ИЛИ, ИЛИ-НЕ, И-НЕ), называются логическими элементами (ЛЭ). Аналитическая форма представления булевых функций При решении конкретных технических задач булевы функции, отражающие логические связи, наиболее часто задаются в табличной ...
... значение функции равно единице, а ноль не ставится, а для КСНФ – наоборот. Диаграмма для двух логических переменных (для ДСНФ): Для трех переменных: Карты Карно используются для ручной минимизации функций алгебры логики при небольшом количестве переменных. Правило минимизации: склеиванию подвергаются 2,4,8,16, клеток и клетки, лежащие на границе карты. При числе переменных 5 и ...
... дизъюнкции заменить на операцию конъюнкции (либо наоборот) и проинвертировать все переменные, то результат окажется инверсным прежнему значению. Используя принцип двойственности алгебры логики, реализуем логическое выражение (7) в различных базисах. Рис. 2 Из рис.2 следует: если переименовать все входы и выходы логического элемента ЛЭ1 на инверсные значения и заменить ЛЭ дизъюнкции на ЛЭ2 ...
... Поглощение 17 F17=X1+X1’*X2=X1+X2 Поглощение 18 F18=(X1*X2)’=X1’+X2’ 1 правило де Моргана 19 F19=(X1+X2)’=X1’*X2’ 2 правило де Моргана Задание 3 Спроектировать цифровую схему, выполняющая указанные действия и состоящую из простейших элементов И, ИЛИ, НЕ. Результаты подтвердить построением таблицы истинности и соответствующими временными диаграммами. Спроектировать цифровую схему ...
0 комментариев