- Преподавателю
- Информатика
- Урок Логические функции
Урок Логические функции
Раздел | Информатика |
Класс | - |
Тип | Конспекты |
Автор | Косова Е.В. |
Дата | 26.02.2014 |
Формат | doc |
Изображения | Есть |
Тема: «ЛОГИЧЕСКИЕ ФУНКЦИИ».
Учитель информатики школы-гимназии № 6 им. Абая Кунанбаева города Степногорска Республики Казахстан Косова Елена Викторовна.
Цель: Научить учащихся строить логические функции по таблицам истинности.
Отработать умение составлять таблицы истинности по логическим функциям.
Выяснить качество усвоения теоретического материала и проверить знания по теме
«Логические схемы».
Требования к знаниям и умениям:
Учащиеся должны знать:
-
этапы составления таблиц истинности;
-
этапы составления логических функций по таблицам истинности;
-
основные базовые элементы логических схем;
-
правила составления логических схем.
Учащиеся должны уметь:
-
составлять таблицы истинности;
-
составлять логические функции по таблицам истинности;
-
составлять логические схемы по логическим функциям;
-
составлять логические функции по логическим схемам.
Программно-дидактическое обеспечение: ПК, электронный тест, раздаточный
дидактический материал.
Ход урока:
1. Постановка целей урока.(2 минуты)
-
Проверка домашнего задания. Выполнение электронного теста.(12 минут)
-
Самостоятельная по теме «Логические схемы».(12 минут)
-
Объяснение нового материала.(10 минут)
-
Закрепление нового материала.(5 минут)
-
Домашнее задание.(2 минуты)
-
Итоги урока. (2 минуты)
-
Постановка целей урока.
-
Таблица истинности сложного логического выражения. Как её правильно составить и использовать?
-
Каким образом алгебра логики связана с компьютером?
-
Знаете ли вы что такое ДНФ, чем она отличается от СДНФ?
-
2 Проверка домашнего задания
Решение задач проверяется у доски. В это время группа учащихся выполняет электронный тест за компьютерами. Обсудив решение домашнего задания, они меняются местами: то есть кто-то отвечает на вопросы теста, а кто-то пишет самостоятельную работу по логическим схемам.
Решение задания № 1:
Для формулы А&(Bv(B&C)) построить таблицу истинности.
Алгоритм построения Т.И.
-
Подсчитать количество переменных n в формуле;
-
Определить число строк в таблице m=2n;
-
Подсчитать количество логических операций в формуле
-
Установить последовательность выполнения логических операций с учетом скобок и приоритетов;
-
Определить количество столбцов в таблице: число переменных + число операций;
-
выписать наборы входных переменных с учетом того, что они представляют собой натуральный ряд n разрядных двоичный чисел от 0 до 2n -1;
-
Провести заполнение таблицы истинности по столбцам, выполняя логические
операции в соответствии с законами логики.
A
B
C
B
C
B&C
Bv(B&C)
A&(Bv(B&C))
0
0
0
1
1
1
1
0
0
0
1
1
0
0
0
0
0
1
0
0
1
0
1
0
0
1
1
0
0
0
1
0
1
0
0
1
1
1
1
1
1
0
1
1
0
0
0
0
1
1
0
0
1
0
1
1
1
1
1
0
0
0
1
1
Можно составлять таблицу истинности по другому!
Решение задания № 2:
Для формулы (х1& x2 ) v (¬х1 v x2) построить таблицу истинности, используя иной способ заполнения:
Под формулой (х1& x2 ) v (¬х1 v x2) подпишем столбцы возможных значений под каждой из переменных (х1 и х2); последовательно (по приоритету операций) выпишем столбцы значений операций.
( x1 & x2 ) v ( ¬ х1v x2 )
0 0 0 1 1 0 1 0
0 0 1 1 1 0 1 1
1 0 0 0 0 1 0 0
1 1 1 1 0 1 1 1
Можно писать &x1x2 вместо x1&x2, тогда вместо (x1&x2) v (¬x1v x2) можно записать
&x1x2v ¬x1x2
Выполнение электронного теста:
-
Чему равно двойное отрицание простого высказывания?
а) 1
б) исходному высказыванию
в) 0
-
Соединение двух высказываний с помощью логического оборота «Если…, то…» называется?
а) логическое равенство
б) импликация
в) эквиваленция
-
Наука об общих операциях, аналогичных сложению и умножению, которые выполняются не только над числами, но и над высказываниями называется?
а) алгебра логики
б) логическая арифметика
в) логическая математика
4. Сколько простых логических операций существует?
а) 3
б) 4
в) 5
-
Повествовательное предложение, в котором что-либо утверждается или отрицается, называется…
а) высказывание
б) понятие
в) логическая переменная
-
Составное высказывание, которое содержит несколько простых мыслей,
соединенных между собой с помощью логических операций, называется…
а) логическая функция
б) логическая переменная
в) составное высказывание
-
Кто был основателем алгебры логики?
а)Буль
б) Лейбниц
в) Аристотель
-
Как называется устройство, способное хранить 1 бит информации?
а) шифратор
б) сумматор
в) триггер
-
Объединение двух высказываний с помощью союза и называется?
а) дизъюнкция
б) конъюнкция
в) логическое сложение
10 Дистрибутивный закон логики называется…
а) ассоциативный
б) сочетательный
в) распределительный
-
Форма мышления, которая выделяет существенные признаки предмета,
позволяющие отличать его от других?
а) высказывание
б) понятие
в) логическая переменная
-
Произведение, в котором каждая переменная встречается только один раз,
называется?
а) минтерм
б) терм
в) логическая функция
-
Назови учёного, который основал двоичную систему счисления?
а) де Морган
б) Лейбниц
в) Буль
14.Какой закон утверждает, что противоречивые высказывания не могут быть
истинными одновременно?
а) закон непротиворечия
б) закон идемпотентности
в) закон исключённого третьего
2.Самостоятельная по теме «Логические схемы».
Вспомним правило построения логических схем:
1) Определите число логических переменных.
-
Определите количество базовых логических операций и их порядок.
-
Изобразить для каждой логической операции соответствующий ей вентиль.
-
Соединить вентили в порядке выполнения логических операций.
-
Задание на карточках.
Вариант № 1.
-
Нарисуйте логическую схему для следующего логического выражения. Составьте
таблицу истинности.
F = А v
-
По логической схеме составьте формулу:
В
НЕ
&х1 Вых1
или
НЕ
Вх2 Вых2
Вариант № 2.
-
Нарисуйте логическую схему для следующего логического выражения. Составьте
таблицу истинности.
F = А & .
-
По логической схеме составьте формулу:
В
НЕ
илих1
И
В
или
НЕ
НЕх2 Вых
Вх3
Вариант № 3.
-
Нарисуйте логическую схему для следующего логического выражения. Составьте таблицу истинности.
F = Х v .
-
По логической схеме составьте формулу:
В
или
&
НЕ
НЕилих1 Вых1
Вх2
Вх3 Вых2
Вариант № 4.
-
Нарисуйте логическую схему для следующего логического выражения. Составьте таблицу истинности.
F= (Х v Z) & (X v
-
По логической схеме составьте формулу:
X ¬Y
Z
Вариант № 5.
1.Нарисуйте логическую схему для следующего логического выражения. Составьте таблицу истинности.
F = .
-
По логической схеме составьте формулу:
¬X Z
X Z
Вариант № 6
-
Нарисуйте логическую схему для следующего логического выражения.
F =.
-
По логической схеме составьте формулу:
Вх1
или
В
не
х2 вых 1
-
Объяснение нового материала.
Вы хорошо знаете, что в отличие от обычной алгебры, изучающей математические функции, алгебра логики изучает логические функции.
Функция - это закон соответствия между переменными, а логическая функция - это закон соответствия между логическими переменными. Логическая переменная - это такая переменная, которая принимает два значения 0 («ложь», 1 («истина»).
Логические функции характеризуются (задаются) таблицами истинности.
Таблица истинности - это таблица, устанавливающая соответствие между возможными наборами значений логических переменных и значениями функций.
Из математики известно, что любую логическую функцию можно записать с помощью трех операций: логического сложения, логического умножения и отрицания.
Одна и та же логическая функция может быть записана различным образом. Например, функция может быть записана следующими эквивалентными выражениями:
Эквивалентность выражений легко проверяется составлением таблиц истинности этих двух выражений. Для исключения неравнозначности записи логические функции представляют в унифицированных формах. Такими формами являются: дизъюнктивная и конъюнктивная. В них используются элементарные дизъюнкции и конъюнкции.
Элементарной называется конъюнкция, в которую входят только переменные и их отрицания, например,
.
Элементарной называется дизъюнкция, представляющая собой логическую сумму переменных и их отрицаний.
Например:
.
В элементарные конъюнкции (дизъюнкции) не могут входить одинаковые переменные, а также переменные с их отрицаниями. Такие дизъюнкции (конъюнкции) должны преобразовываться.
Понятия элементарной дизъюнкции и конъюнкции позволяют достаточно просто определить дизъюнктивную и конъюнктивную формы записи логических функций.
Дизъюнктивная нормальная форма (ДНФ) - это форма, в которой логическая функция представляется в виде дизъюнкции элементарных конъюнкций, например:
.
Конъюнктивной нормальной формой (КНФ) называется такая форма, в которой функция представляется в виде конъюнкции элементарных дизъюнкций. Например:
.
Использование нормальных форм не устраняет полностью неоднозначности записи логических функций.
Совершенные формы записи логических функций СДНФ СКНФ.
Среди нормальных форм выделяются такие, в которых функции записываются единственным образом. Их называют совершенными. Применяются совершенная дизъюнктивная и совершенная конъюнктивная нормальные формы (СДНФ и СКНФ). Формы СДНФ и СКНФ имеют две отличительные особенности:
1) все элементарные конъюнкции и дизъюнкций имеют одинаковый ранг, равный количеству переменных в конъюнкции (дизъюнкции);
2) в элементарные конъюнкции (дизъюнкции) входят все те переменные или их отрицания, от которых зависит функция.
Функция записана в СДНФ.
Функции в СДНФ и СКНФ обычно записываются по таблицам истинности с использованием определенных правил.
При построении ЭВМ используются компоненты, работа которых описывается функциями, представленными в дизъюнктивных формах. Поэтому будем рассматривать в дальнейшем только ДНФ и СДНФ.
Правило записи СДНФ функции по таблице истинности.
1) Для каждой строки таблицы истинности с единым значением функции надо построить минтерм. (минтермом называется терм, произведение, в котором каждая переменная встречается только 1 раз - либо с отрицанием, либо без него).
2) Переменные имеющие нулевое значение в строке, включить в минтерм с отрицанием, а переменные со значением 1 - без отрицания.
3) Необходимо объединить все минтермы операцией дизъюнкция, что даст стандартную сумму произведений для заданной таблицы истинности.
Например, логическая функция задана таблицей истинности, представленной в таблице. Для наборов 4, 6, 7, 8 записываем конъюнкции через пробел:
.
В
0
0
0
0
0
0
1
0
0
1
0
0
0
1
1
1
1
0
0
0
1
0
1
1
1
1
0
1
1
1
1
1
пробелы ставим знак дизъюнкции и получаем функцию в СДНФ, т. е.
.
Для задания функции не обязательно всегда составлять таблицу истинности. Можно указать, что функция равна единице, например, на наборах 4, 6, 7, 8 (011, 101,110, 111).
Аналогично строиться таблица по СКНФ, но в начале рассматриваются нулевые значения функции, по ним строятся элементарные дизъюнкции (нулям соответствуют переменные, единицам отрицания переменных), а затем они объединяются знаками конъюнкций.
Можно решать и обратную задачу: построение таблицы истинности по СДНФ или СКНФ.
Закрепление.
-
По таблице истинности построить СДНФ и СКНФ.
а)
б)
0
0
0
1
0
0
0
0
0
0
1
0
0
0
1
1
0
1
0
0
0
1
0
0
0
1
1
1
0
1
1
0
1
0
0
0
1
0
0
1
1
0
1
0
1
0
1
0
1
1
0
1
1
1
0
1
1
1
1
0
1
1
1
0
Решение:
Для всех наборов переменных, на которых функция принимает единичные значения» записать конъюнкции, инвертируя те переменные, которым соответствуют нулевые значения. Затем конъюнкции соединить знаками дизъюнкции.
Ответы.
1.а)
1.б)
Дома:
1 вариант
Построить таблицу истинности по СДНФ (проверьте правильность составления таблиц подстановкой значений в логическую функцию):
а) ; б) .
2 вариант
Построить таблицу истинности по СКНФ (проверьте правильность составления таблиц подстановкой значений в логическую функцию):
а) ; б) .
Итоги урока: Образование - украшение для счастливых,
убежище для несчастных. Для образования
нужны три вещи: природные способности,
упражнения и время.
Демокрит
Сегодня на уроке мы нашли время для выполнения упражнений и демонстрации всех ваших способностей и знаний по данной теме. Спасибо за работу.
7