
- •Основные законы булевой алгебры
- •Метод совершенной индукции состоит в доказательстве эквивалентности левой и правой частей на всех наборах аргументов. Для этого составляется таблица истинности.
- •Использование законов для доказательства других (кроме законов
- •Разнообразие булевых функций.
- •Булева функция от двух переменных.
- •Некоторые функции одной переменной
- •Xor: Функция равна единице, если в наборе только одна единица.
26.10.2000
лекция 1
ПРИЛОЖЕНИЕ БУЛЕВЙ АЛГЕБРЫ К СИНТЕЗУ КОМБИНАЦИОННЫХ СХЕМ.
Схемы
Комбинационные
Последовательностные
Комбинационные схемы – это схемы, в которых значение выхода зависит только от значений входных сигналов.
Последовательностные схемы – это схемы с памятью…
Для синтеза используются двоичные системы логики или булевой алгебры.
Элементы булевой алгебры:
А) числа
Б) переменные
В) операции
Г) выражения
Д) функции
Е) законы
Числа: два числа, логический ноль и логическая единица в булевой алгебре отождествляются с понятиями истина или ложь.(1- истина 0-ложь).
Переменные булевы (логические, двоичные) – это переменные, которые принимают значения из множества {0,1} ( X{0,1})
Операции: в булевой алгебре 3 операции:
-
отрицание (инверсия)
-
конъюнкция (логическое умножение)
-
дизъюнкция (логическое сложение)
Старшинство операций: , AND, OR
Отрицание является унарной операцией.
Обозначение: X, X – отрицание
a&b, a*b, ab, ab – конъюнкция
ab - дизъюнкция
Выражение – это переменные, соединенные знаками операций. Порядок операции задается старшинством, для изменения порядка операций используются скобки.
Функцией булевой или логической называется такая функция,
аргументами которой являются булевы переменные, а сама функция принимает значения из множества: Y(х) {0,1} Область определения булевой функции является совокупность 2n двоичных наборов ее аргументов, где n - число переменных (аргументов). Набор аргументов можно рассматривать как компонентный двоичный вектор.
Формы задания булевой функции.
-
Аналитическая форма - в виде логического умножения.
-
Табличная – в виде таблицы истинности.
-
Графическая.
-
Таблично - графическая – в виде карты Карно.
-
Числовая.
-
Символическая.
№1 Аналитическая форма:
Y3(X)=(X1 X2)X3
Y3(X)=X1X2X3 X1X2X3 X1X2X3
№2 Табличная форма:
X1 |
X2 |
X3 |
X1X2 |
Y(X) |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
Переход от аналитической формы к табличной всегда однозначный, а обратный переход - нет.
Скажем, эта же таблица для: Y3(X)=X1X2X3 X1X2X3 X1X2X3
Основные законы булевой алгебры
номер |
Закон |
Название |
1 |
ab=ba ab=ba |
переместительный |
2 |
(ab)c=a(bc) (ab)c=a(bc) |
Сочетательный (ассоциативный) |
3 |
a(bc)=abac abc=(ab)(ac) |
Дистрибутивный |
4 |
a=a (a)=a |
Двойного отрицания |
5 |
aa=a aa=a |
Тавтология |
6 |
a0=0 a0=a |
Нулевой переменной |
7 |
a1=a a1=1 |
Единичной переменной |
8 |
aa=0 aa=1 |
Дополнительного элемента |
9 |
ab=ab ab=ab ab=ab ab=ab |
Правило Де Моргана (двойственность) |
10 |
aab=a a(ab)=a |
Поглощения |
11 |
aab=ab a(ab)=ab |
Сокращения |
12 |
abab=b (ab)(ab)=b |
Склеивания |
Комментарии к законам:
Для доказательства законов можно использовать метод совершенной индукции или другие законы.
-
Метод совершенной индукции состоит в доказательстве эквивалентности левой и правой частей на всех наборах аргументов. Для этого составляется таблица истинности.
-
Использование законов для доказательства других (кроме законов
Де Моргана)
Пример:
aab=a(1b)=a
abab=b(aa)=b
Де Моргана:
a |
b |
ab |
ab |
ab |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
-
Большинство законов являются парой соотношений, при этом одно соотношений можно получить из другого заменой дизъюнкции на конъюнкцию и конъюнкции на дизъюнкцию. (метод неприменим для законов с константой). В случае с константой ее надо менять на противоположную. Это свойство называется – дуальностью законов булевой алгебры.
-
Некоторые законы можно распространять на произвольное число аргументов.
Пример: dcab=abcd
-
В любом законе любую переменную можно заменять на произвольное логическое выражение
Пример: abab=b
b=cd
a(cd) a(cd)=cd
-
Законы булевой алгебры используются для упрощения выражений булевых функций.
Разнообразие булевых функций.
-
Булева функция от одной переменной.
Обозначение аргумента и функции |
Значение аргумента и функции |
Наименование функции |
|
X |
0 |
1 |
|
F01 |
0 |
0 |
Логический «0» |
F11 |
0 |
1 |
Повторение «Х» |
F21 |
1 |
0 |
Инверсия «Х» |
F31 |
1 |
1 |
Логическая «1» |
Логический ноль или единица - это вырожденные функции (не зависят от аргумента )