Слайд 1Парамонов А.И.
2016
ЛОГИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРНОЙ ТЕХНИКИ
Слайд 2Что такое Булева алгебра !?
АЛГЕБРА – … ???
БУЛЕВА АЛГЕБРА –
… ???
раздел математики, посвященный изучению операций над элементами множеств, которые могут так или иначе обобщать множества чисел, а операции — обобщать сложение и умножение.
мат. аппарат, в котором операции выполняются не над числами, а над высказываниями, представленными двоичными переменными.
Слайд 3
В обычной алгебре (арифметической) над переменными (чаще это числа) выполняются операции
сложения / вычитания, умножения / деления и т. д.
В булевой алгебре основными являются только три операции:
дизъюнкция, конъюнкция, инверсия.
Слайд 4Операция дизъюнкции
Аксиомы:
0+0 = 0;
0+1 = 1;
1+0 = 1;
1+1
= 1.
Слайд 5Операция конъюнкции
Аксиомы:
0•0 = 0;
0•1 = 0;
1•0 = 0;
1•1
= 1.
Слайд 8Формы представления булевых функций
Булевы формулы могут быть записаны либо в виде
дизъюнкции, либо в виде конъюнкции каких-либо выражений.
В первом случае говорят о ДИЗЪЮНКТИВНОЙ ФОРМЕ,
во втором— о КОНЪЮНКТИВНОЙ ФОРМЕ.
Слайд 9Формы представления булевых функций
ЭЛЕМЕНТАРНАЯ КОНЪЮНКЦИЯ (ЭК) –
логическое произведение любого конечного
числа различных между собой булевых переменных, взятых со знаком инверсии или без него.
ЭЛЕМЕНТАРНАЯ ДИЗЪЮНКЦИЯ (ЭД) –
логическая сумма любого конечного числа различных между собой булевых переменных, взятых со знаком инверсии или без него.
Слайд 10Нормальные формы
ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА (ДНФ)
– булева формула, которая записана
в виде дизъюнкции выражений, каждое из которых представляет собой либо отдельный аргумент (с инверсией или без инверсии), либо конъюнкцию некоторых аргументов.
– дизъюнкция конечного числа ЭК.
Слайд 11Нормальные формы
КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА (КНФ)
– булева формула, которая записана
в виде конъюнкции выражений, каждое из которых представляет собой либо отдельный аргумент (с инверсией или без инверсии), либо дизъюнкцию некоторых аргументов.
– конъюнкция конечного числа ЭД.
Слайд 12Инвертирование сложных выражений
Правило:
Чтобы найти инверсию, необходимо знаки умножения заменить знаками сложения,
а знаки сложения — знаками умножения и поставить инверсии над каждой переменной.
(независимо от того, есть над переменными знаки отрицания или нет)
Слайд 13МИНТЕРМЫ
Функции, которые принимают единичное значение только на одном наборе называются
минимальными
термами,
или — МИНТЕРМАМИ
(иногда конституентами единицы).
Слайд 14МИНТЕРМЫ
Минтермом n переменных называется такая их конъюнкция, в которую каждая переменная
входит только один раз в прямой или инверсной форме.
Обозначаются минтермы буквой m с десятичным индексом, являющимся номером минтерма.
mi
m0 = 000…0
Слайд 15
Свойство:
конъюнкция любых двух различных минтермов, зависящих от одних и тех
же аргументов, тождественно равна нулю.
Слайд 16МАКСТЕРМЫ
Макстермом n переменных называется такая их дизъюнкция, в которую каждая переменная
входит только один раз в прямой или инверсной форме.
Макстерм (конституента нуля) — это булева функция, которая принимает единичное значение на всех наборах, за исключением одного.
Слайд 17МАКСТЕРМЫ
Макстермы обозначают большой буквой M с десятичными индексами (по аналогии с
обозначением минтермов).
СВОЙСТВО:
дизъюнкция любых двух различных макстермов, зависящих от одних и тех же аргументов, равна единице.
Mi
Слайд 18Связь между индексами
минтермов и макстермов :
Слайд 19Совершенные нормальные формы
СОВЕРШЕННАЯ КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА (СКНФ)
СОВЕРШЕННАЯ ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА
(СДНФ)
Слайд 20СОВЕРШЕННАЯ ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА – это
ДНФ, в которой все конъюнкции имеют
ранг n
дизъюнкция минтермов n аргументов
дизъюнкцию простых конъюнкций
простые конъюнкции содержат все переменные в своей прямой или инверсной форме
Слайд 21
y = ∨ х1δ1 х2δ2 х3δ3... х(n–1)δ(n–1) хnδn ,
Слайд 22
Всякая булева функция для заданного числа аргументов представима в виде суммы
минтермов единственным образом.
Поэтому СДНФ называют
стандартной формой, или канонической.
Слайд 23СОВЕРШЕННАЯ КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА – это
КНФ, в которой все дизъюнкции имеют
ранг n
конъюнкция макстермов n аргументов
конъюнкция простых дизъюнкций.
простая дизъюнкция – дизъюнкция переменных или их отрицаний
Слайд 24
y = ∧ ( х1δ1 + х2δ2 +х3δ3 + ... +
Слайд 25Карта Вейча
её модификацию называют диаграммой Карно
На рис.1 приведены минтермы функции от
двух переменных А и В.
На рис.2 указаны десятичные номера минтермов.
Слайд 29Нанесение функций на карту Вейча
Пусть есть функция:
f (A,B,C) = A +
BC
Ей соответствует представление на карте Вейча:
Слайд 30Минимальная ДНФ (МДНФ)
МДНФ булевой функции называется ДНФ, которая содержит наименьшее число
букв в записи (по отношению ко всем другим ДНФ этой функции).
Слайд 31Импликанта булевой функции
Функция g(x1, …, xn) называется импликантой функции f(x1,
…, xn), если для любого набора аргументов, на котором g=1, справедливо что f=1.
Слайд 32
Импликанта булевой функции, которая представлена элементарной конъюнкцией, называется простой, если никакая
ее часть больше не является импликантой этой функции.
Т.Е. простая импликанта – это такая, к которой нельзя применить операцию склеивания.
Слайд 33Пример импликант:
Пусть дана функция:
f = AB + BC.
Представим её
в СДНФ:
f = (3,6,7) .
Эта функция содержит три минтерма.
Из них можно образовать семь различных функций, каждая из которых является импликантой функции f.
Слайд 35Методы минимизации
функций алгебры логики
минимизация методом Квайна;
минимизация с использованием карт Карно;
минимизация
не полностью определенных (частичных) функций;
минимизация КНФ;
минимизация методом кубического задания функций алгебры логики;
минимизация методом Квайна–Мак–Класски;
минимизация с использованием алгоритма извлечения (Рота);
минимизация ФАЛ методом преобразования логических выражений.
Слайд 36минимизация методом Квайна
Основу метода составляет теорема склеивания, которая применяется к каждой
паре минтермов заданной функции.
Например:
f (A,B,C,D) = (0, 1, 3, 6, 7, 8, 12, 13, 14, 15)
Слайд 38
Выражение, полученное методом Квайна, называется сокращённой дизъюнктивной нормальной формой заданной функции,
а каждая его конъюнкция называется простой импликантой.
Слайд 39
Для всякой булевой функции существует единственная сокращённая ДНФ
Слайд 40Найти методом Квайна
минимальное выражение для функции y
Слайд 43Получение минимальной ДНФ
Функция «покрыта» полностью
Слайд 44Минимальная ДНФ из 3-х импликант
Слайд 47Литература по теме:
Лысиков Б. Г. Арифметические и логические основы цифровых автоматов
// Минск: Высшая школа, 1980. – 268 с.
Савельев А. Я. Прикладная теория цифровых автоматов: учебник для вузов по специальности ЭВМ // М.: Высшая школа, 1987. – 462 с.
Шевелев Ю. П. Дискретная математика. Ч. 1: Теория множеств. Булева алгебра Автоматизированная технология обучения «Символ»): Учебное пособие // Томск. гос. ун-т систем управления и радиоэлектроники, 2003. — 118 с.