МЕТОДИЧЕСКАЯ РАЗРАБОТКА Урока «Совершенные Нормальные Формы. Общее понятие и назначение. Правила построения СДНФ (СКНФ) по таблице истинности» по дисциплине: «Архитектура ЭВМ и ВС»

МЕТОДИЧЕСКАЯ РАЗРАБОТКА
Урока «Совершенные Нормальные Формы.
Общее понятие и назначение. Правила построения СДНФ (СКНФ) по таблице истинности»


Дисциплина: «Архитектура ЭВМ и ВС»

Преподаватель: Петрова Алла Николаевна














Ржев-2010/2011 уч. год
Одобрена
Предметной (цикловой)
комиссией специальных дисциплин



Председатель:

Преподаватель РМТ
Степанова Л. Е.


Составитель:

Преподаватель РМТ: Петрова А. Н.

Рецензенты:

Преподаватели РМТ
Степанова Л. Е., Лякина И. И.





МЕТОДИЧЕСКАЯ РАЗРАБОТКА
Урока по дисциплине «Архитектура ЭВМ и ВС»

Тема урока:


О, сколько нам открытий чудных
Готовят просвещенья дух
И опыт, сын ошибок трудных,
И гений, парадоксов друг,
И случай, бог – изобретатель
А.С.Пушкин
Тип урока: урок обобщения, систематизации знаний для изучения нового материала
Цель урока: Обобщение, систематизация знаний по темам логических основ ЭВМ, в частности, по теме: «Логические элементы ЭВМ. Построение таблиц истинности для вентилей, логических выражений и функциональных схем ЭВМ». Изучение материала для работы с Совершенными Нормальными Формами, исследование возможности:
получения новой логической функции, эквивалентной исходной;
замены с помощью СДНФ (СКНФ) одних логических элементов другими, равнозначными по результату.
Задачи урока:
Продолжить формирование знаний логических основ ЭВМ, необходимых, в дальнейшем, для освоения материала по функциональным схемам таких устройств ЭВМ как: полусумматор, сумматор, шифратор, дешифратор и других, не менее важных устройств ЭВМ;
Обеспечить закрепление изученного материала;
Продолжить работу по овладению методами исследования доказательной базы булевой алгебры;
Продемонстрировать возможности применения информационных технологий на уроках архитектуры ЭВМ;
Продолжить развитие функции общения на уроке, как условия обеспечения взаимопонимания, побуждения к действию, ощущения эмоционального удовлетворения.

Наглядные пособия и оснащение урока:
Презентация (Тема урока, схема урока, задачи-загадки с целью мониторинга усвояемости текущего и предыдущих уроков по дисциплине;
мультимедийные компьютерные средства(ноутбук, проектор, интерактивная доска)
План урока
Организационный этап (2 мин).
Актуализация знаний
Решение задач (20 мин).
Изложение нового материала (15 мин).
Закрепление материала (21 мин).
Тестирование (18 мин).
Итоги урока (3 мин).
Домашнее задание (3 мин).

Ход урока:
Организационный этап
Деятельность преподавателя
Деятельность
студентов

Приветствие, вступительное слово;
Проверка отсутствующих по классному журналу
Преподаватель дисциплины:
Мы знаем, что булева алгебра – это алгебра логики, у которой свой язык и мы должны его понимать. Вопрос зачем мы должны понимать его, этот язык алгебры логики, ведь дисциплина, которую мы изучаем, называется «Архитектура ЭВМ и ВС»? Ответ очень прост, и кроется он в маленьких логических элементах, называемых вентилями, которые, в свою очередь, являются основным строительным материалом для любой, самой большой функциональной схемы таких важных устройств ЭВМ, как полусумматор и сумматор, шифратор и дешифратор и других устройств. Каждый вентиль, как мы знаем, соответствует какой-либо логической связке с соответствующей таблицей истинности. Давайте вспомним некоторые основы алгебры и какие логические элементы мы знаем. Проведем небольшой экспресс-опрос.
·
·Слушают.




Актуализация знаний
Деятельность преподавателя
Деятельность
студентов

Экспресс-опрос:


Что такое простое логическое высказывание и какие предложения не могут быть логическими высказываниями? (Слайд № 5)





Что такое составное логическое высказывание? (Слайд № 6)


Что такое логическая переменная? (Слайд № 7)


Назовите основные логические операции (связки) и правила к ним; (Слайд № 8)















X=2710 Y=3510 Найти С10=X13 EMBED Equation.3 1415Y
(Слайд № 9)




Что такое таблица истинности и от чего зависит количество оценок входных переменных? (Слайд № 10)





УГО каких вентилей изображено на рисунке? (Слайд № 11)
















Что такое функциональная схема? (Слайд № 12)


Слушают.
Отвечают на вопросы, оформленные слайдами презентации:
Высказывание, в отношении которого можно сказать истинно оно или ложно, называется логическим. Вопросительные, восклицательные предложения и предложения с элементами неопределенности не являются логическими высказываниями




Высказывание, состоящее из нескольких простых высказываний, соединенных знаками логических операций (связками), называется составным логическим высказыванием






Решение задач
Материал, необходимый для дальнейшей работы, повторили, вспомнили как выглядят логические элементы согласно ГОСТа, а сейчас вам будут предложены задачи, в которых также используются знакомые вам логические элементы, но их УГО выглядят несколько иначе, так как реализованы они с помощью компьютерной технологии электронных таблиц Ms Excel. Итак,
задача 1 “Торшер” (Слайд № 12)
Купили как-то на распродаже торшер с двумя переключателями – ВКЛ/ВЫКЛ. Принесли домой, включили Странное дело – торшер не включается, лампочка не горит!... Посмотрели, лампочка - нормальная, не сгоревшая. Нажали кнопку ВЫКЛ, торшер включился
Напутали что-то изготовители в переключателях, но что?

Внимательно ознакомьтесь с условием задачи на слайде презентации.

задача 2 “Игрушка” (Слайд № 13)
Маленькой Анечке подарили игрушку – мудрую-премудрую сову с книжкой. На корешке книги располагались четыре разноцветные кнопочки, при нажатии на которые вырабатывались сигналы, поступающие на беспроводное устройство, связанное с непонятным логическим элементом, подсоединенным к глазам мудрой совы. Проанализируйте сигналы кнопок, реакцию глаз совы и определите “хитрый” элемент.
Решение второй задачи потребует от вас особенной собранности и внимания. При активизации задачи в Excel вам необходимо записать значения сигналов в качестве оценок таблицы истинности логической функции F(А, В). Сама функция принимает значение 1(истина), если глаза игрушки-совы открыты и значение 0(ложь), если глаза игрушки-совы закрыты


В третьей задаче требуется определить уже не один логический элемент, а структуру функциональной схемы, состоящей из двух логических элементов:
задача 3 “Баба-яга” (Слайд № 14)
Однажды баба-яга услышала по телевизору, что диаметр луны ежегодно уменьшается на 4 см. Забеспокоилась баба-яга и решила экономить лунный свет. Пригласила змея Горыныча и попросила его сделать такую схему, чтобы она могла включать, выключать лунный свет и изменять его яркость по своему усмотрению. Принялся Горыныч за дело, но не смог выполнить просьбу бабы-яги, да и сам не понял что за схему он смастерил:
- нажмешь кнопку А - луна включается;
- нажмешь кнопку В - луна выключается;
- нажмешь кнопку С - луна опять включается!
Такая задача трудная! А все потому, что не знал Горыныч ничего о вентилях. Так, что же это за схема???
Указание к решению: луна “включается”при значении
F(A,B,C)=1, луна “выключается” при значении
F(A,B,C)=0


Слушают.
Анализируют просмотр активизируемой в Excel задачи, решают, отвечают.



Выходы переключателей подсоединены к инвертору.







Анализируют просмотр активизируемой в Excel задачи, разрабатывают таблицу истинности, определяют название логического элемента и сообщают ответ







Согласно таблице итинности, искомый “хитрый” элемент это вентиль Исключающее ИЛИ





Анализируют просмотр активизируемой в Excel задачи.
(Если ответ затягивается, можно дать подсказку: построить таблицу истинности для логической функции 3-х параметров F(A,B,C) =A13 EMBED Equation.3 1415B13 EMBED Equation.3 1415C, т. е. получить следующую таблицу истинности
А
В
С
F

0
0
0
0

0
0
1
1

0
1
0
1

0
1
1
0

1
0
0
1

1
0
1
0

1
1
0
0

1
1
1
1




Изложение нового материала
Деятельность преподавателя
Деятельность
студентов

Итак, мы повторили весь материал, необходимый для понимания новой темы ключевой темы, очень важной в тематике функциональных схем. Для начала задам вот такой вопрос, вопрос-тест: (Слайд № 16) (
Вопрос-тест
Каким образом можно доказать равнозначность двух разных логических функций (высказываний)?: a) Подставить цифровые значения в каждую из функций; b) Попросить помощи в Интернете;  c) Просчитать таблицы истинности для каждой из сравниваемых функций; d) Погадать на ромашке
с, и это правильный ответ! Поэтому, если я сейчас буду утверждать, что импликацию логических переменных А, В можно записать в виде логической функции 13 EMBED Equation.3 1415+В, т.е. A(B=13 EMBED Equation.3 1415+В и докажу это сравнением двух таблиц истинности для левой и правой частей равенства, вы, безусловно поверите и правильно сделаете! (показать Слайд № 17) (
Но откуда и как появилась правая часть равенства, которая, и это очевидно, эквивалентна левой части равенства?
Задача первая: исследовать возможность получения новой логической функции, эквивалентной исходной.
Проблема заключается в том, что одна и та же логическая функция может быть записана различным образом. Например, функция F(x1,x2) может быть записана следующими эквивалентными выражениями:
F(X1,X2) = 13 EMBED Equation.3 141513 EMBED Equation.3 1415 + 13 EMBED Equation.3 141513 EMBED Equation.3 1415 + 13 EMBED Equation.3 141513 EMBED Equation.3 1415
F(X1,X2) = 13 EMBED Equation.3 1415 + 13 EMBED Equation.3 141513 EMBED Equation.3 141513 EMBED Equation.3 1415
F(X1,X2) = Х1(13 EMBED Equation.3 1415+13 EMBED Equation.3 1415)
Эквивалентность выражений легко проверить подстановкой в них соответствующих логических значений входных переменных Х1 и Х2. (показать Слайд № 18) (
Для исключения неоднозначности записи логические функции представляют в унифицированных нормальных формах, среди которых выделяются такие, в которых функции записываются единственным образом. Их назы-вают совершенными. Применяется Совершенная Дизъюнктивная Нормальная Форма (СДНФ) и Совершенная Конъюнктивная Нормальная Форма (СКНФ), запись которых осуществляется по определенным правилам.
Таким образом, можно закончить решение первой задачи выводом: (показать Слайд № 19) (
ВЫВОД 1: Для получения новой логической функции, эквивалентной исходной применяются две совершенные нормальные формы:
Совершенная Дизъюнктивная Нормальная Форма (СДНФ);
Совершенная Конъюнктивная Нормальная Форма (СКНФ)

Задача вторая: Овладеть знанием правил записи СДНФ и СКНФ по таблицам истинности
Правила достаточно простые: (показать Слайд № 20) (
ПРАВИЛО ЗАПИСИ СДНФ логической функции ПО ТАБЛИЦЕ ИСТИННОСТИ:
Для всех наборов переменных, на которых функция принимает единичные значения (F=1), записать конъюнкции, инвертируя те переменные, которым соответствуют нулевые значения. Затем конъюнкции соединить знаками дизъюнкции.

Например, F(X1,X2,X3)=1 на наборах 001,010. СДНФ функции: не(Х1)не(Х2)Х3 + не(Х1) Х2не(Х3)

ПРАВИЛО ЗАПИСИ СКНФ логической функции ПО ТАБЛИЦЕ ИСТИННОСТИ:
Для всех наборов переменных, на которых функция принимает нулевые значения (F=0), записать дизъюнкции, инвертируя те переменные, которым соответствуют единичные значения. Затем дизъюнкции соединить знаками конъюнкции.

Например, F(X1,X2,X3)=0 на наборах 001,010. СКНФ функции: (Х1+Х2+не(Х3))( Х1+не(Х2)+Х3)


Задача третья: научиться применять полученные знания о совершенных нормальных формах
Вернемся к исходной логической функции F(А,В)=A(B и на ее примере реализуем одно из правил:
(показать Слайд № 21) (
A
B
F=A(B
Дизъюнк-ция

0
0
1
 

0
1
1
 

1
0
0
 13 EMBED Equation.3 1415+В

1
1
1
 

а) СДНФ, если количество значений F=1 меньше количества значений F=0;
b) СКНФ, если количество значений F=0 меньше количества значений F=1
Поэтому для логической функции F=A(B находим СКНФ. Для этого в последний столбец записываем дизъюнкцию для набора 10 :  13 EMBED Equation.3 1415+В

Задача четвертая: исследование применения совершенных нормальных форм к разработке взаиморавнозначных функциональных схем
Поскольку электронная схема является аппаратной реализацией простой или сложной логической функции, то знание правил записи СДНФ или СКНФ логической функции по таблице истинности позволяет избежать ошибки при необходимости реализации требуемой функциональной схемы на логических элементах, отличных от первоначально планируемых. На том же примере импликатора можно построить взаиморавнозначную функциональную схему, состоящую из инвертора и вентиля ИЛИ: (показать Слайд № 22) (





Равнозначность логических функций F=A(B и 13 EMBED Equation.3 1415+В доказана на таблицах истинности. Мониторинг равнозначности аппаратной реализации этих функций
(функциональных схем) можно доказать с помощью Excel-графики:

Задача пятая: исследование эффективности применения совершенных нормальных форм
Упрощение СДНФ или СКНФ логической функции позволяет получить кратчайшую форму записи логической функции, что позволяет снизить аппаратные и стоимостные параметры электронных схем. Примем это как аксиому, т.к. это отдельный, достаточно сложный, материал для рассмотрения.
На одном из практических занятиях будет рассмотрен вопрос упрощения логической функции, заданной некоторой комбинационной схемой, используя СДНФ (СКНФ). Инструмент процессора электронных таблиц позволяет достаточно просто реализовать расчет сложных функциональных схем, например: (показать Слайд № 23) (


Из всего вышеизложенного материала по теме можно сделать следующие выводы:
СДНФ (СКНФ) ключевые понятия для конструирования функциональных схем электронных устройств;13 TC "СДНФ (СКНФ) ключевые понятия для конструирования функциональных схем электронных устройств" \f C \l "1" 15
Знание правил записи СДНФ (СКНФ) по таблице истинности позволяет:
моделировать логические функции, исключающие неоднозначность их толкования;
конструировать комбинационные схемы, реализующие необходимую логику их функционирования;
Применение СДНФ или СКНФ логической функции позволяет снизить аппаратные и стоимостные параметры электронных схем (показать Слайд № 24) (

Слушают.



Анализируют вопрос-тест

c) Просчитать таблицы истинности для каждой из сравниваемых функций














Слушают, записывают содержание поставленной перед ними первой задачи






















Слушают, записывают содержание вывода по поставленной перед ними первой задачи









Слушают, записывают правила






















Анализируют интерактивную демонстрацию слайда


















Анализируют интерактивную демонстрацию слайда








Анализируют интерактивную демонстрацию слайда



























Анализируют интерактивную демонстрацию слайда


















Закрепление материала
Деятельность преподавателя
Деятельность
студентов

Для закрепления материала проделаем следующую работу: достаньте карточки с заданиями к уроку, внимательно прочитайте и подготовьте ответы. На подготовку дается 10 минут. Если у кого возникнут вопросы, спрашивайтеПриступайте.






Выполняют задания, сообщают результат


Подведение итогов:
а) краткий анализ урока;
б) выставление оценок
Домашнее задание
Дано: три входных логических переменных Ci , Xi , Yi , где Xi , Yi соответствующие разряды двух чисел (числа X и числа Y), Ci входной перенос.
Требуется: построить таблицу истинности по трем входным логическим переменным и двум выходным логическим функциям: Ci+1, Si , используя алгоритм одного шага легенды поразрядного сложения (одного разряда):
13 SHAPE \* MERGEFORMAT 1415








13PAGE 15


13PAGE 14115



Министерство образования Тверской области
ГБПОУ «Ржевский колледж»


машиностроительный техникум»


«Совершенные Нормальные Формы. Общее понятие и назначение. Правила построения СДНФ (СКНФ) по таблице истинности»


1 урок пары

2 урок пары



Это таблица, в которой отражаются логические значения (истина или ложь) входных переменных (оценок), подформул (операций с переменными) и выходные значения заданной логической функции. Количество оценок вычисляется по формуле:
К = 2n,
где n – количество входных переменных






Это именованное логическое высказывание

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


А
В
F

0
0
0

0
1
1

1
0
1

1
1
0



Тогда правильным
ответом следует услышать:

Функциональная схема состоит из двух вентилей Исключающего ИЛИ



В результирующем столбце с заголовком F=A(B на наборе 10 логическая функция принимает нулевое значение. Существует негласное правило согласно которому следует выбирать:

А В

А

В

А(B


·

А

13 EMBED Equation.3 1415

1

1

13 EMBED Equation.3 1415+B

В



Root Entry