Оцените презентацию от 1 до 5 баллов!
Тип файла:
ppt / pptx (powerpoint)
Всего слайдов:
47 слайдов
Для класса:
1,2,3,4,5,6,7,8,9,10,11
Размер файла:
4.38 MB
Просмотров:
79
Скачиваний:
0
Автор:
неизвестен
Слайды и текст к этой презентации:
№1 слайд![ЛОГИЧЕСКИЕ ОСНОВЫ](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img0.jpg)
Содержание слайда: ЛОГИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРНОЙ ТЕХНИКИ
Парамонов А.И.
№2 слайд![Что такое Булева алгебра !?](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img1.jpg)
Содержание слайда: Что такое Булева алгебра !?
АЛГЕБРА – … ???
БУЛЕВА АЛГЕБРА – … ???
№3 слайд![В обычной алгебре](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img2.jpg)
Содержание слайда: В обычной алгебре (арифметической) над переменными (чаще это числа) выполняются операции сложения / вычитания, умножения / деления и т. д.
В булевой алгебре основными являются только три операции:
дизъюнкция, конъюнкция, инверсия.
№4 слайд![Операция дизъюнкции Аксиомы .](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img3.jpg)
Содержание слайда: Операция дизъюнкции
Аксиомы:
0+0 = 0;
0+1 = 1;
1+0 = 1;
1+1 = 1.
№5 слайд![Операция конъюнкции Аксиомы .](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img4.jpg)
Содержание слайда: Операция конъюнкции
Аксиомы:
0•0 = 0;
0•1 = 0;
1•0 = 0;
1•1 = 1.
№6 слайд![Инверсия Аксиомы](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img5.jpg)
Содержание слайда: Инверсия
Аксиомы:
№7 слайд![Полный список аксиом](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img6.jpg)
Содержание слайда: Полный список аксиом :
№8 слайд![Формы представления булевых](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img7.jpg)
Содержание слайда: Формы представления булевых функций
Булевы формулы могут быть записаны либо в виде дизъюнкции, либо в виде конъюнкции каких-либо выражений.
В первом случае говорят о ДИЗЪЮНКТИВНОЙ ФОРМЕ,
во втором— о КОНЪЮНКТИВНОЙ ФОРМЕ.
№9 слайд![Формы представления булевых](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img8.jpg)
Содержание слайда: Формы представления булевых функций
ЭЛЕМЕНТАРНАЯ КОНЪЮНКЦИЯ (ЭК) –
логическое произведение любого конечного числа различных между собой булевых переменных, взятых со знаком инверсии или без него.
ЭЛЕМЕНТАРНАЯ ДИЗЪЮНКЦИЯ (ЭД) –
логическая сумма любого конечного числа различных между собой булевых переменных, взятых со знаком инверсии или без него.
№10 слайд![Нормальные формы](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img9.jpg)
Содержание слайда: Нормальные формы
ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА (ДНФ)
– булева формула, которая записана в виде дизъюнкции выражений, каждое из которых представляет собой либо отдельный аргумент (с инверсией или без инверсии), либо конъюнкцию некоторых аргументов.
– дизъюнкция конечного числа ЭК.
№11 слайд![Нормальные формы](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img10.jpg)
Содержание слайда: Нормальные формы
КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА (КНФ)
– булева формула, которая записана в виде конъюнкции выражений, каждое из которых представляет собой либо отдельный аргумент (с инверсией или без инверсии), либо дизъюнкцию некоторых аргументов.
– конъюнкция конечного числа ЭД.
№12 слайд![Инвертирование сложных](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img11.jpg)
Содержание слайда: Инвертирование сложных выражений
Правило:
Чтобы найти инверсию, необходимо знаки умножения заменить знаками сложения, а знаки сложения — знаками умножения и поставить инверсии над каждой переменной.
(независимо от того, есть над переменными знаки отрицания или нет)
№13 слайд![МИНТЕРМЫ Функции, которые](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img12.jpg)
Содержание слайда: МИНТЕРМЫ
Функции, которые принимают единичное значение только на одном наборе называются
минимальными термами,
или — МИНТЕРМАМИ
(иногда конституентами единицы).
№14 слайд![МИНТЕРМЫ Минтермом n](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img13.jpg)
Содержание слайда: МИНТЕРМЫ
Минтермом n переменных называется такая их конъюнкция, в которую каждая переменная входит только один раз в прямой или инверсной форме.
Обозначаются минтермы буквой m с десятичным индексом, являющимся номером минтерма.
№15 слайд![Свойство конъюнкция любых](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img14.jpg)
Содержание слайда: Свойство:
конъюнкция любых двух различных минтермов, зависящих от одних и тех же аргументов, тождественно равна нулю.
№16 слайд![МАКСТЕРМЫ Макстермом n](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img15.jpg)
Содержание слайда: МАКСТЕРМЫ
Макстермом n переменных называется такая их дизъюнкция, в которую каждая переменная входит только один раз в прямой или инверсной форме.
Макстерм (конституента нуля) — это булева функция, которая принимает единичное значение на всех наборах, за исключением одного.
№17 слайд![МАКСТЕРМЫ Макстермы](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img16.jpg)
Содержание слайда: МАКСТЕРМЫ
Макстермы обозначают большой буквой M с десятичными индексами (по аналогии с обозначением минтермов).
СВОЙСТВО:
дизъюнкция любых двух различных макстермов, зависящих от одних и тех же аргументов, равна единице.
№18 слайд![Связь между индексами](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img17.jpg)
Содержание слайда: Связь между индексами
минтермов и макстермов :
№19 слайд![Совершенные нормальные формы](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img18.jpg)
Содержание слайда: Совершенные нормальные формы
СОВЕРШЕННАЯ КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА (СКНФ)
СОВЕРШЕННАЯ ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА (СДНФ)
№20 слайд![СОВЕРШЕННАЯ ДИЗЪЮНКТИВНАЯ](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img19.jpg)
Содержание слайда: СОВЕРШЕННАЯ ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА – это
ДНФ, в которой все конъюнкции имеют ранг n
дизъюнкция минтермов n аргументов
дизъюнкцию простых конъюнкций
№21 слайд![y х х х ... х n n хnn ,](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img20.jpg)
Содержание слайда: y = х1δ1 х2δ2 х3δ3... х(n–1)δ(n–1) хnδn ,
№22 слайд![Всякая булева функция для](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img21.jpg)
Содержание слайда: Всякая булева функция для заданного числа аргументов представима в виде суммы минтермов единственным образом.
Поэтому СДНФ называют
стандартной формой, или канонической.
№23 слайд![СОВЕРШЕННАЯ КОНЪЮНКТИВНАЯ](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img22.jpg)
Содержание слайда: СОВЕРШЕННАЯ КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА – это
КНФ, в которой все дизъюнкции имеют ранг n
конъюнкция макстермов n аргументов
конъюнкция простых дизъюнкций.
№24 слайд![y х х х ... х n n хnn ,](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img23.jpg)
Содержание слайда: y = ( х1δ1 + х2δ2 +х3δ3 + ... + х(n–1)δ(n–1) + хnδn),
№25 слайд![Карта Вейча её модификацию](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img24.jpg)
Содержание слайда: Карта Вейча
её модификацию называют диаграммой Карно
На рис.1 приведены минтермы функции от двух переменных А и В.
На рис.2 указаны десятичные номера минтермов.
№26 слайд![Карта Вейча для -х аргументов](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img25.jpg)
Содержание слайда: Карта Вейча для 3-х аргументов
№27 слайд![Карта Вейча для -х аргументов](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img26.jpg)
Содержание слайда: Карта Вейча для 4-х аргументов
№28 слайд![Карта Вейча для -х аргументов](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img27.jpg)
Содержание слайда: Карта Вейча для 5-х аргументов
№29 слайд![Нанесение функций на карту](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img28.jpg)
Содержание слайда: Нанесение функций на карту Вейча
Пусть есть функция:
f (A,B,C) = A + BC
Ей соответствует представление на карте Вейча:
№30 слайд![Минимальная ДНФ МДНФ МДНФ](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img29.jpg)
Содержание слайда: Минимальная ДНФ (МДНФ)
МДНФ булевой функции называется ДНФ, которая содержит наименьшее число букв в записи (по отношению ко всем другим ДНФ этой функции).
№31 слайд![Импликанта булевой функции](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img30.jpg)
Содержание слайда: Импликанта булевой функции
Функция g(x1, …, xn) называется импликантой функции f(x1, …, xn), если для любого набора аргументов, на котором g=1, справедливо что f=1.
№32 слайд![Импликанта булевой функции,](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img31.jpg)
Содержание слайда: Импликанта булевой функции, которая представлена элементарной конъюнкцией, называется простой, если никакая ее часть больше не является импликантой этой функции.
Т.Е. простая импликанта – это такая, к которой нельзя применить операцию склеивания.
№33 слайд![Пример импликант Пусть дана](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img32.jpg)
Содержание слайда: Пример импликант:
Пусть дана функция:
f = AB + BC.
Представим её в СДНФ:
f = (3,6,7) .
Эта функция содержит три минтерма.
Из них можно образовать семь различных функций, каждая из которых является импликантой функции f.
№34 слайд![Импликанты ф-ции f AB BC](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img33.jpg)
Содержание слайда: Импликанты ф-ции f = AB + BC
№35 слайд![Методы минимизации функций](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img34.jpg)
Содержание слайда: Методы минимизации
функций алгебры логики
минимизация методом Квайна;
минимизация с использованием карт Карно;
минимизация не полностью определенных (частичных) функций;
минимизация КНФ;
минимизация методом кубического задания функций алгебры логики;
минимизация методом Квайна–Мак–Класски;
минимизация с использованием алгоритма извлечения (Рота);
минимизация ФАЛ методом преобразования логических выражений.
№36 слайд![минимизация методом Квайна](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img35.jpg)
Содержание слайда: минимизация методом Квайна
Основу метода составляет теорема склеивания, которая применяется к каждой паре минтермов заданной функции.
Например:
f (A,B,C,D) = (0, 1, 3, 6, 7, 8, 12, 13, 14, 15)
№37 слайд![](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img36.jpg)
№38 слайд![Выражение, полученное методом](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img37.jpg)
Содержание слайда: Выражение, полученное методом Квайна, называется сокращённой дизъюнктивной нормальной формой заданной функции,
а каждая его конъюнкция называется простой импликантой.
№39 слайд![Для всякой булевой функции](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img38.jpg)
Содержание слайда: Для всякой булевой функции существует единственная сокращённая ДНФ
№40 слайд![Найти методом Квайна](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img39.jpg)
Содержание слайда: Найти методом Квайна
минимальное выражение для функции y
№41 слайд![й этап](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img40.jpg)
Содержание слайда: 1–й этап
№42 слайд![й этап - Импликантная таблица](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img41.jpg)
Содержание слайда: 2–й этап - Импликантная таблица
№43 слайд![Получение минимальной ДНФ](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img42.jpg)
Содержание слайда: Получение минимальной ДНФ
№44 слайд![Минимальная ДНФ из -х](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img43.jpg)
Содержание слайда: Минимальная ДНФ из 3-х импликант
№45 слайд![Граф-схема булевой функции](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img44.jpg)
Содержание слайда: Граф-схема булевой функции
№46 слайд![Формы булевых функций](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img45.jpg)
Содержание слайда: Формы булевых функций
№47 слайд![Литература по теме Лысиков Б.](/documents_6/6aba5c50e7f8281ef1f020ebe402d48f/img46.jpg)
Содержание слайда: Литература по теме:
Лысиков Б. Г. Арифметические и логические основы цифровых автоматов // Минск: Высшая школа, 1980. – 268 с.
Савельев А. Я. Прикладная теория цифровых автоматов: учебник для вузов по специальности ЭВМ // М.: Высшая школа, 1987. – 462 с.
Шевелев Ю. П. Дискретная математика. Ч. 1: Теория множеств. Булева алгебра Автоматизированная технология обучения «Символ»): Учебное пособие // Томск. гос. ун-т систем управления и радиоэлектроники, 2003. — 118 с.