Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Свидетельство о публикации

Автоматическая выдача свидетельства о публикации в официальном СМИ сразу после добавления материала на сайт - Бесплатно

Добавить свой материал

За каждый опубликованный материал Вы получите бесплатное свидетельство о публикации от проекта «Инфоурок»

(Свидетельство о регистрации СМИ: Эл №ФС77-60625 от 20.01.2015)

Инфоурок / Информатика / Конспекты / Уроки логики на уроках информатики
ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону № 313-ФЗ все педагоги должны пройти обучение навыкам оказания первой помощи.

Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 28 июня.

Подать заявку на курс
  • Информатика

Уроки логики на уроках информатики

библиотека
материалов

hello_html_3e30f372.gifhello_html_m2a7690f7.gifhello_html_m2a7690f7.gifhello_html_m2a7690f7.gifhello_html_m2a7690f7.gifhello_html_m2a7690f7.gifhello_html_m2a7690f7.gifhello_html_m2a7690f7.gif



МБОО «АЛЧИНСКАЯ ООШ»

















Учитель информатики и математики –

ТЛЕУЛИЕВА АЙСЛУ БИКМУРЗАЕВНА

























Содержание



уроков

Тема урока

Страницы

1

Основы логики

4 -8

2

Таблицы истинности. Логические схемы

9 - 16

3

Логические законы и правила преобразования логических выражений

17- 21

4 - 5

Решение задач

22 - 26

6

Контрольная работа

27 - 29

7

Использование логических устройств в вычислительной технике

30 - 34

8

Тест по логике

34 - 35


Используемая литература

36





















Урок 1. Основы логики.

Цели: сформировать у учащихся понятие форм мышления; сформировать понятия: логическое высказывание, логические величины, логические операции.

Требования к знаниям и умениям:

Учащиеся должны знать:

  • формы мышления, знания понятий: логическое высказывание, логические величины, логические операции.

Учащиеся должны уметь:

  • приводить примеры логических высказываний;

  • называть логические величины, логические операции.

Программно- дидактическое обеспечение: ПК, таблицы с логическими величинами и операциями.

Ход урока

  1. Постановка целей урока

  1. Как человек мыслит?

  2. Что в нашей обыденной речи является высказыванием, а что – нет? Предложение «Кто последний?» - высказывание или нет?

  3. Арифметическое умножение и логическое умножения. В чем сходство и различие?

  1. Изложение нового материала

  1. Формы мышления

В основе современной логики лежат учения. Созданные еще древнегреческими мыслителями, хотя первые учения о формах и способах мышления возникли в Древнем Китае и Индии. Основоположником формальной логики является Аристотель, который впервые отделил логические формы мышления от его содержания.

Логика – это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств.

Законы мира, сущность предметов, общее в них мы познаем посредством абстрактного мышления. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.

Мышление всегда осуществляется через понятия, высказывания и умозаключения.

Понятие – это форма мышления, которая выделяет существенные признаки предмета или класса предметов, позволяющие отличать их от других.

Пример 1.

Прямоугольник, компьютер, проливной дождь.

Высказывание – это формулировка своего понимания окружающего мира. Высказывание является повествовательным предложением, в котором что-либо утверждается или отрицается.

По поводу высказывания можно сказать, истинно оно или ложно. Истинным будет высказывание, в котором связь понятий правильно отражает свойства и отношение реальных вещей. Ложным высказывание будет в том случае, когда оно противоречит реальной действительности.

Пример 2

Истинное высказывание: «Буква «ю» - гласная».

Ложное высказывание: «Компьютер был изобретен в середине XIX века».

Упражнение 1(устно)

Какие из предложений являются высказываниями? Определите их истинность.

  1. Какой длины эта лента?

  2. Прослушайте информацию.

  3. Делайте утреннюю зарядку!

  4. Назовите устройства вывода информации.

  5. Кто сегодня отсутствует?

  6. Париж- столица Канады.

  7. Число 11 является составным.

  8. 4+5=9

  9. Сложите числа 2 и 5.

  10. Некоторые медведи живут на севере.

  11. Все медведи белые.

  12. Чему равно расстояние от Москвы до Ленинграда.

Умозаключение позволяет на основе известных фактов, выраженных в форме суждений, получать новое знание.

Умозаключение – то форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение (знание или вывод).

Пример 3

Дано высказывание: «Все углы равнобедренного треугольника равны». Получить высказывание «Этот треугольник равносторонний» путем умозаключений.

Пусть основанием треугольник является сторона с. Тогда, а = b. Так как в треугольнике все углы равны, следовательно, основанием может быть любая другая сторона, например а. Тогда b = c. Следовательно, a = b = c. Треугольник равносторонний.

  1. Логические выражения и операции

Алгебра – это наука об общих операциях, аналогичных сложению и умножению, которые выполняются не только над числами, но и над другими математическими объектами, в том числе и над высказываниями. Такая алгебра называется алгеброй логики. Алгебра логики отвлекается от смысловой содержательности высказываний и принимает во внимание только истинность или ложность высказывания.

Можно определить понятия логической переменной, логической функции и логической операции.

Логическая переменная – это простое высказывание, содержащее только одну мысль. Её символическое обозначение – латинская буква (например, A,B,X,Y и т. д). значением логической переменной могут быть только константы ИСТИНА и ЛОЖЬ (0 и 1).

Составное высказывание – логическая функция, которая содержит несколько простых мыслей, соединенных между собой с помощью логических операций. Ее символическое обозначение – F(A,B,…).

На основании простых высказываний могут быть построены составные высказывания.

Логические операции – логические действия.

Рассмотрим три базовые логические операции – конъюнкцию, дизъюнкцию, и отрицание и дополнительные – импликацию и эквивалентность.

По ходу изложения материала заполним следующую таблицу:



Конъюнкция (от лат.conjunctio- связываю)

Дизъюнкция (от лат. disjunctio –различаю)

Инверсия (от лат. inversio- переворачиваю)

Импликация (от лат. implicatio – тесно связывать)

Эквивалентность (от лат. aequivalens – равноценное)

Название

Логическое умножение

Логическое сложение

Отрицание

Логическое следование

Логическое равенство

Обозначение

А&В или А^В

Аv В

¬ А или

Ā

А→В

А – условие

В - следствие

А≡В или А↔В

Союз в естественном языке

А и В

А или В

Не А

Если А, то В; когда А, тогда В; коль скоро А то В

А тогда и только тогда, когда В

Примеры

А – «Число 10 –четное»; В- «Число 10 – отрицательное»

«Число 10 –четное и отрицательное» = ЛОЖЬ

«Число 10 –четное или отрицательное» =ИСТИНА

«Неверно, что число 10 – четное»= ЛОЖЬ; «Неверно, что число 10 отрицательное» = ИСТИНА

«Если число 10 - четное, то оно является отрицательным»=ЛОЖЬ,

«Число 10 – четное тогда и только тогда, когда отрицательно» =ЛОЖЬ

Таблица истинности - таблица, определяющая значение сложного высказывания при всех возможных значениях простых высказываний

А

В

А&В

0

0

0

0

1

0

1

0

0

1

1

1


А

В

АvВ

0

0

0

0

1

1

1

0

1

1

1

1


А

¬А

0

1

1

0


А

В

А→В

0

0

1

0

1

1

1

0

0

1

1

1


А

В

А≡В

0

0

1

0

1

0

1

0

0

1

1

1


Вывод: результат будет истинным тогда и только тогда, когда оба исходных высказывания истинны

Вывод: результат будет ложным тогда и только тогда, когда оба исходных высказывания ложны, и истинным в остальных случаях

Вывод: результат будет ложным, если исходное выражение истинно, и наоборот

Вывод: результат будет ложным тогда и только тогда, когда из истинного основания (А) следует ложное следствие (В)

Вывод: результат будет истинным тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны

Если составное высказывание (логическую функцию) выразить в виде формулы, в которую войдут логические переменные и знаки логических операций, то получится логическое выражение, значение которого можно вычислить. Значением логического выражения могут быть только ЛОЖЬ или ИСТИНА. При составлении логического выражения необходимо учитывать порядок выполнения логических операций, а именно:

    1. действия в скобках;

    2. инверсия, конъюнкция, дизъюнкция, импликация, эквивалентность


Пример 4.

Записать в виде логического выражения следующее высказывание: «Летом Петя поедет в деревню и, если будет хорошая погода, то он пойдет на рыбалку».

  1. Проанализируем составное высказывание.

оно состоит из следующих простых высказываний: «Петя поедет в деревню», «Будет хорошая погода», «Он пойдет на рыбалку», обозначим их через логические переменные:

А= Петя поедет в деревню;

В = Будет хорошая погода;

С = Он пойдет на рыбалку.

  1. Запишем высказывание в виде логического выражения, учитывая порядок действий. Если необходимо, расставим скобки:

F=A& (B→C).


  1. Закрепление изученного материала

Упражнение 2

Есть два простых высказывания:

А - «Число 10 – четное»;

В - «Волк травоядное животное».

Составьте из них все возможные составные высказывания и определите их истинность. Ответ:

А&В

А v В

¬ А

¬ В

А→В

А↔В

ЛОЖЬ (0)

ИСТИНА (1)

ЛОЖЬ (0)

ИСТИНА (1)

ЛОЖЬ (0)

ЛОЖЬ (0)


Упражнение 3

Запишите следующие высказывания в виде логических выражений.

  1. Число 13 нечетное и двузначное.

  2. Неверно, что корова хищное высказывание.

  3. На уроке информатики ученики выполняли практическую работу и сообщали результаты учителю.

  4. Если число делится на 2, то оно четное

  5. Если Маша сестра Саши, то Саша – брат Маши.

  6. Водительские права можно получать тогда и только тогда, когда тебе исполнится 18 лет.

  7. Компьютер выполняет вычисления, если он включен.

Упражнение 4

Даны высказывания: А - «р делится на 5» и В- «р - нечетное число». Найти множество значений р при которых результат а) логического сложения и б) логического умножения будет:

  1. истинным;

  2. ложным.

Упражнение 5

Составьте и запишите истинные сложные высказывания из простых с использованием логических операций.

  1. Неверно, что 10>Y>5 и Z<0. Ответ: (¬(Y<10) &(Y>5)&(Z<0)).

  2. А является max(A,B,C). Ответ: (A>B) & (A>C).

  3. Все числа X,Y,Z равны 12. Ответ: (X=12) & (Y=12) & (Z=12).

  4. Любое из чисел X,Y, Z отрицательно. Ответ: (X<0) v (Y<0)v(Z<0).

Упражнение 6

Найдите значение логических выражений:

  1. F=(0v0)v(1v1) (ответ: 1)

  2. F=(1v1)v(1v0) (ответ: 1)

  3. F=(0&0)&(1&1) (ответ: 0)

  4. F= ¬1&(1v1)v(¬0&1) (ответ: 1)

  1. Итоги урока

Оценить работу класса и назвать учащихся, отличившихся на уроке.

Домашнее задание

Уровень знания: выучить основные определения, знать обозначения.

Уровень понимания:

Задача 1

Из двух простых высказываний постройте сложное высказывание, используя логические связки «И», «ИЛИ». Запишите логические высказывания с помощью логических операций и определите их истинность.

  1. Андрей старше Светы. Наташа старше Светы.

  2. Один десятый класс идет на экскурсию в музей. Второй десятый класс идет в театр.

  3. На полке стоят учебники. На полке стоят справочники.

  4. Часть детей – девочки. Остальные – мальчики.

Задача 2

Для логических выражений сформулируйте составные высказывания на обычном языке:

  1. (Y>1и Y<3) или (Y<8 и Y>4)

  2. (X=Y) и(X=Z)

  3. Не (X<0) или (X

  4. (X>A) или (X>B)

Уровень применения: приведите примеры составных высказываний из приведенных ниже школьных предметов и запишите их с помощью логических операций:

  1. биология

  2. география

  3. алгебра

  4. информатика

  5. литература

  6. геометрия

  7. русский язык


назад к оглавлению

Урок 2. Таблицы истинности. Логические схемы

Цели: сформировать навыки построения таблиц истинности; сформировать у учащихся представление об устройствах элементной базы компьютера; сформировать навыки построения логических схем.

Требования к знаниям и умениям:

Учащиеся должны знать:

- Этапы составления таблиц истинности;

- Основные базовые элементы логических схем;

- Правила составления логических схем.
Учащиеся должны уметь:

- составлять таблицы истинности;

- составлять логические схемы.

Программно-дидактическое обеспечение: ПК, карточки с заданиями, элементы для сборки электрических цепей.

Ход урока

I. Постановка целей урока

  1. Таблица истинности сложного логического выражения. Как ее правильно
    составить и использовать?

  2. Каким образом алгебра логики связана с компьютером?

  3. Почему компьютер не был изобретен раньше?

  1. Проверка домашнего задания

Решение задач проверяется у доски. В это время устно проверяется выполнение задания уровня применения.

Задание на карточках.

1. Соедините правильные определения или обозначения:

1. Логика

1.А→В

2. Высказывание

2. Логическое сложение

3. Алгебра логики

3. Наука о формах и способах мышления

4. Логическая константа

4. Логическое отрицание

5. Дизъюнкция

5. ИСТИНА и ЛОЖЬ

6. Инверсия

6. А↔В

7. Конъюнкция

7. &

8. Импликация

8. Наука об операциях над высказываниями

9. Эквивалентность

9. Повествовательное предложение, в котором что-либо утверждается или отрицается


  1. Даны высказывания: А={3∙3=9}, В={3∙3=10}. Определите истинность высказываний:

1) А, 2) ¬В, 3) А&В, 4) В, 5) ¬А, 6) АvВ.


  1. Даны высказывания: А={5+7=13}, В={5+7=12}. Определите истинность высказываний:

1) А, 2) ¬В, 3) А&В, 4) В, 5) ¬А, 6) АvВ.


4. Запишите логические выражения, соответствующие следующим высказываниям:

A) Ботаника изучает растения и ботаника изучает животных;

Б) В состав атома входят электроны или в состав электронов входят атомы;

B) Гелий - это жидкость и вода - это газ;

Г) Неверно, что положительный ион — это лишившийся электронов атом.




5. Запишите логические выражения, соответствующие следующим высказываниям:

A) Зоология изучает растения или ботаника изучает животных;

Б) Электрон - это часть атома и электроны есть в любом веществе;

B) Напряжение - это сила тока, умноженная на сопротивление;
Г) Неверно, что спутник - это летательный аппарат.

III. Изложение нового материала

1. Таблицы истинности

Решение логических выражений принято записывать в виде таблиц истинности - таблиц, в которых по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных.

Для составления таблицы необходимо:

  1. Выяснить количество строк в таблице (вычисляется как 2n, где n - количество переменных).

  2. Выяснить количество столбцов = количество переменных + количество логических операций.

  3. Установить последовательность выполнения логических операций.

  4. Построить таблицу, указывая названия столбцов и возможные наборы значений исходных логических переменных.

  5. Заполнить таблицу истинности по столбцам.
    Пример 1

Построим таблицу истинности для выражения F = (AvB)&(¬Av¬B).

Количество строк = 22 (2 переменных) + 1 (заголовки столбцов) = 5.

Количество столбцов = 2 логические переменные (А, В) + 5 логических операций (v, &, ¬, v,) = 7.

Расставим порядок выполнения операций:

1 5 2 4 3

(A v B) & (A vB)

Построим таблицу:


А


В


A v B


А


В


AvB


(A v B) & (A vB)

0

0

0

1

1

1

0

0

1

1

1

0

1

1

1

0

1

0

1

1

1

1

1

1

0

0

0

0


Пример 2

Построим таблицу истинности для логического выражения X v Y& ¬ Z

  1. Количество строк = 23+1 = 9.

  1. Количество столбцов = 3 логические переменные + 3 логических операций = 6.

  1. Укажем порядок действий:

3 2 1

X v YZ

4. Нарисуем и заполним таблицу:


X


Y


Z


Z


Y&Z


X v Y&Z

0

0

0

1

0

0

0

0

1

0

0

0

0

1

0

1

1

1

1

0

0

1

0

1

1

0

1

0

0

1

1

1

0

1

1

1

1

1

1

0

0

1


2. Логические схемы

Над возможностями применения логики в технике ученые и инженеры задумывались уже давно. Например, голландский физик Пауль Эренфест (1880 - 1933), кстати, несколько лет, работавший в России, писал еще в 1910 году: «...Пусть имеется проект схемы проводов автоматической телефонной станции. Надо определить: 1) будет ли она правильно функционировать при любой комбинации, могущей встретиться в ходе деятельности станции; 2) не содержит ли она излишних усложнений. Каждая такая комбинация является посылкой, каждый маленький коммутатор есть логическое «или-или», воплощенное в эбоните и латуни; все вместе - система чисто качественных... «посылок», ничего не оставляющая желать в отношении сложности и запутанности... правда ли, что, несмотря на существование алгебры логики, своего рода «алгебра распределительных схем» должна считаться утопией?». Созданная позднее М.А.Гавриловым (1903 - 1979) теория релейно-контактных схем показала, что это вовсе не утопия.

Посмотрим на микросхему. На первый взгляд ничего того, что нас удивило бы, мы не видим. Но если рассматривать ее при сильном увеличении она поразит нас своей стройной архитектурой. Чтобы понять, как она работает, вспомним, что компьютер работает на электричестве, то есть любая информация представлена в компьютере в виде электрических импульсов. Поговорим о них.

С точки зрения логики электрический ток либо течет, либо не течет; электрический импульс есть или его нет; электрическое напряжение есть или его нет... В связи с этим поговорим о различных вариантах управления включением и выключением обыкновенной лампочки (лампочка также работает на электричестве). Для этого рассмотрим электрические контактные схемы, реализующие логические операции.

Пояснение: для наглядности приготовьте электрические схемы и продемонстрируйте их в действии. Для этого используйте: источник питания, лампочки, ключи, провода.


А

В

Схема 2.


А

(автоматический ключ)

Схема 3.


А

В

Схема 1.



На рисунках контакты обозначены латинскими буквами А и В. Введем обозначения: 1 -контакт замкнут, 0 - контакт разомкнут. Цепь на схеме 1 с последовательным соединением контактов соответствует логической операции «И». Цепь на схеме 2 с параллельным соединением контактов соответствует логической операции «ИЛИ». Цепь на схеме 3 (электромагнитное реле) соответствует логической операции «НЕ».

Заполняем таблицу по ходу объяснения материала.




Конъюнкция

Дизъюнкция

Инверсия

А

В



А

В



А


А

1

1

0

0

В

1

0

1

0

Результат

1

0

0

0

А

1

1

0

0

В

1

0

1

0

Результат

1

1

1

0

А

1

0

¬А

0

1

Конъюнктор

Дизъюнктор

Инвертор

&

А

В

А&В

hello_html_m5971127e.gif

v

А

В

АvВ

hello_html_m41907c07.gif

¬

А

¬А

hello_html_3f6466ec.gif

Докажем это, рассмотрев состояния схем при различных состояниях контактов.

Схема 1 (составляем в основной таблице таблицу истинности).

  1. Оба контакта в положении «включено». Тогда ток через лампочку идет и она горит.

  2. Первый контакт в положении «включено» второй в положении «выключено». Ток не идет, лампочка не горит.

  3. Обратная ситуация. Лампочка не горит.

  4. Оба контакта в положении «выключено». Тока нет. Лампочка не горит.

Вывод: первая схема действительно реализует логическую операцию «И».

Схема 2 (составляем в основной таблице таблицу истинности).

  1. Оба контакта в положении «включено». Тогда ток через лампочку идет и она горит.

  2. Первый контакт в положении «включено» второй в положении «выключено». Ток идет, лампочка не горит.

  3. Обратная ситуация. Лампочка горит.

  4. Оба контакта в положении «выключено». Тока нет. Лампочка не горит.

Вывод: вторая схема действительно реализует логическую операцию «ИЛИ».

Схема 3 (составляем в основной таблице таблицу истинности).

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

Вывод: третья схема действительно реализует логическую операцию «НЕ».

Недостатками контактных схем являлись их низкая надежность и быстродействие, большие размеры и потребление энергии. Поэтому попытка использовать такие схемы в ЭВМ не оправдала себя. Появление вакуумных и полупроводниковых приборов позволило создавать логические элементы с быстродействием от 1 миллиона переключений в секунду. Именно такие электронные схемы нашли свое применение в качестве элементной базы ЭВМ. Вся теория, изложенная для контактных схем, была перенесена на электронные схемы. Элементы, реализующие базовые логические операции, назвали базовыми логическими элементами или вентилями и характеризуются они не состоянием контактов, а наличием сигналов на входе и выходе элемента. Их названия и условные обозначения являются стандартными и используются при составлении и описании логических схем компьютера.

Почему необходимо уметь строить логические схемы?

Дело в том, что из вентилей составляют более сложные схемы, которые позволяют выполнять арифметические операции и хранить информацию. Причем схему, выполняющую определенные функции, можно построить из различных по сочетанию и количеству вентилей. Поэтому значение формального представления логической схемы чрезвычайно велико. Оно необходимо для того, чтобы разработчик имел возможность выбрать наиболее подходящий ему вариант построения схемы из вентилей. Процесс разработки общей логической схемы устройства (в том числе и компьютера в целом) таким образом, становится иерархическим, причем на каждом следующем уровне в качестве «кирпичиков» используются логические схемы, созданные на предыдущем этапе.

Алгебра логики дала в руки конструкторам мощное средство разработки, анализа и совершенствования логических схем. В самом деле, гораздо проще, быстрее и дешевле изучать свойства и доказывать правильность работы схемы с помощью выражающей ее формулы, чем создавать реальное техническое устройство. Именно в этом состоит смысл любого математического моделирования.

Логические схемы необходимо строить из минимально возможного количества элементов, что в свою очередь, обеспечивает большую скорость работы и увеличивает надежность устройства.

3. Построение логических схем

Правило построения логических схем:

  1. Определить число логических переменных.

  2. Определить количество базовых логических операций и их порядок.

  3. Изобразить для каждой логической операции соответствующий ей вентиль.

  4. Соединить вентили в порядке выполнения логических операций.

Пример 1

Пусть X = истина, Y = ложь. Составить логическую схему для следующего логического выражения: F = X v Y & X.

  1. Две переменные - X и Y.

  2. Две логические операции:

2 1

X v Y & X.

3) Строим схему:

&

X

v

Y

hello_html_dc10611.gif &

1

v

0

1

hello_html_5625a2bb.gif

  1. Ответ: 1v 0 & 1 = 1.

Пример 2

Постройте логическую схему, соответствующую логическому выражению F=X&Yv¬(YvX). Найдите значение логического выражения для X=1, Y=0.

  1. Переменных две: X и Y;

  2. Логических операций четыре: конъюнкция, две дизъюнкции и инверсия:

1 4 3 2

X&Yv ¬ (YvX)

  1. Схему строим слева направо в соответствии с порядком логических операций:

1

0

1

0

1

0

0

&

v

¬

v


  1. Вычислим значение выражения: F=1&0v ¬ (0v1) =0.


  1. Закрепление изученного материала

1

Составьте таблицы истинности для следующих логических выражений:

  1. F=(X&Y)vZ.

  2. F=X&YvZ.

  3. F= ¬ (XvY) & (YvX).

  4. F= ¬ ((XvY) & (ZvX)) & (ZvY).

  5. F= A&B&C&D.

  6. F= (AvB) & (BvAvB).

2

Заполните пустые ячейки таблицы истинности:

A

B

C

CvA

(CvA)→B

0

0


0

1

0


0

0

1


0

1

1

0

1

1

1

1



3

Постройте логическое выражение по логической схеме:


А)

А

В

С

1

&



B)

А

В

¬

¬

&

1

&




&

¬

¬

1

&

1

D

А

В

С

C)











А

В

С

&

&

&

¬

¬

1

1

D)

Ответ:

  1. F=A&(BvC),

  2. F= B&((A&B)v A),

  3. F=DvA&B&C&(BvC),

  4. F=(C&A) v ¬ (A&BvB&C).

4

Постройте логическую схему, соответствующую логическому выражению, и найдите значение логического выражения:

  1. F = AvB& C, если А = 1, В=1, С=1 (1).

  2. F = ¬ (AvB&C), если А=0, В=1, С=1 (1).

  3. F = AvB&C, если А=1, В=0, С=1 (0).

  4. F = (AvB) & (CvB), если А=0, В=1, С=0 (1).

  5. F = ¬ (А&В&С), если А=0, В=0, С=1 (1).

  6. F = ¬ (A&B&C) v (B & C vA), если А=1, В=1, С=0 (1).

  7. F = B&AvB&A, если А=0, В=0 (0).

Ответ: логические схемы:


A)

&

1

¬

A

C

B


B)

1

&

A

C

B

¬


C)


1

&

A

C

B

¬


D)

¬


¬


&


A

B

C


E)

&

&

¬

A

B

C



F)


&


&


&


¬


1

1

¬


A

B


C




G)

A

B

¬


¬


&


&


1







V. Итоги урока

Оцените работу класса и назовите учащихся, отличившихся на уроке.

Домашнее задание

Уровень знания: знать, что такое таблица истинности, логическая схема, что такое «вентиль», как его изобразить, почему необходимо уметь строить логические схемы, порядок построения схем.

Уровень понимания:

1

Составьте таблицы истинности и определите истинность формулы:

1) F = ((Av B)→B)&(AvB).

2)F = ¬(AvB)≡(AvB).

  1. F = ¬ ((А В) ≡ (B Ā)).

2

Составьте логические схемы к следующим логическим выражениям:

A) F = Bv(C&A) v (A&B).

B) F= ¬ (A&B) vC&D.

3

Постройте логические выражения к логическим схемам:


A

B

&

1

&


A)

&

&

&

1

A

B

C

D


B)


Уровень применения: составьте все возможные соединения в схеме следующих вентилей:

&


hello_html_m72088959.gif

1


hello_html_527c18ca.gif

¬

hello_html_m1796cb72.gif

hello_html_m1796cb72.gif


hello_html_75a4cc97.gif


назад к оглавлению

Урок 3. Логические законы и правила преобразования логических выражений

Цели: познакомить учащихся с законами логики; сформулировать правила преобразования логических выражений; научить учащихся приводить логическое выражение к нормальной форме.

Требования к знаниям и умениям:

Учащиеся должны знать:

  • правила преобразования логических выражений и законы логики.
    Учащиеся должны уметь:

  • приводить логические выражения к нормальной форме;

  • уметь решать логические задачи, сформулированные на обычном языке.

Программно-дидактическое обеспечение: ПК, карточки с заданиями, таблица с формулами преобразования.

Ход урока

I. Постановка целей урока

  1. Существуют ли законы логики? Каковы они?

  2. Как из достаточно сложного выражения F = ¬ ((А vВ) → (В &С))получить простое Fv A & С?

  3. Кто же из учеников А, В, С или D играет в шахматы?

  4. Как найти правду, если кто-то все время лжет?

II. Проверка домашнего задания

  1. Проверить выполнение заданий уровня понимания у доски.

  2. Ученики, выполнившие задание уровня применения, выполняют взаимопроверку.

  3. Карточки с заданиями для индивидуального опроса.

Вариант 1

  1. Составьте логическую схему к выражению: F= (A v B) &¬ (A &B).

  2. Cоставьте логическое выражение по схеме:

v


v



&


A

B

¬

¬


Вариант 1

  1. Составьте логическую схему к выражению: F= ¬ (Av B) & (A &B).

  2. Cоставьте логическое выражение по схеме:

A

¬


&


¬


B

C

¬

&


D


Вариант 1

  1. Составьте логическую схему к выражению: F= ¬ (A&B&С) v D.

  2. Cоставьте логическое выражение по схеме:

A

&

v

&

B

C

¬

¬


Вариант 1

  1. Составьте логическую схему к выражению: F= ¬ (Av B) & ¬A .

  2. Cоставьте логическое выражение по схеме:

A

v

&


v

B

C

¬

¬


А≡ А

(А≡А)

Закон тождества

A&Ā=0

(А ∙ А= 0)

Закон непротиворечия

A v Ā=l

(A+ А= 1)

Закон исключающего третьего

_

Ā=A


Закон двойного отрицания

А& 0= 0

Av0=A

А∙ 0= 0

A+0=A


А& 1= A

Аv 1= 1

А∙ 1= A

А+ 1= 1


А& A= A

Аv A= A

А ∙A= A

А+ A= A


Аv Ā= 1

А+ Ā= 1

Закон Моргана

______ _

(A→B)=A&B

______ _

(A→B)=A∙B


A→B=Ā v B

A→B=Ā+B


A&(A v B)=A

A∙(A+B)=A

Закон поглощения

A v A&B = A

A+A∙B = A

Закон поглощения

Ā&(AvB) = Ā&B

Ā∙(A+B) = Ā∙B


AvĀ&B = AvB

A+Ā∙B = A+B


(AvB) vC =Av(BvC)

(A&B)&C = A&(B&C)

(A+B)+C=A+(B+C)

(A∙B)∙C = A∙(B∙C)

Правило ассоциативности

(A&B) v(A&C) = A&(BvC)

(A∙B) +(A∙C) = A∙(B+C)

Правило дистрибутивности

AvA = A

A&A = A

A+A = A

A∙A = A

Правило идемпотентности

A v B=B v A

A&B=B&A

A+B=B+A

A∙B=B∙A

Правило коммутативности

____

A≡B = A &B v A& В = (Ā+B) &(A+B)


  1. Изложение нового материала. Законы логики

Если логическое выражение содержит большое число операций, то составлять для него таблицу истинности достаточно сложно, так как приходится перебирать большое количество вариантов. В таких случаях формулы удобно привести к нормальной форме.

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

Для приведения формулы к нормальной форме используют законы логики и правила логических преобразований.

Пример 1

Упростите логическое выражение F= ¬((A v B)→ ¬(B v C)).

Это логическое выражение необходимо привести к нормальной форме, т.к. в нем присутствует импликация и отрицание логической операции.

  1. Избавимся от импликации и отрицания. Воспользуемся (9). Получится:

(AvB)→(BvC)= (AvB)&(BvC).

  1. Применим закон двойного отрицания (4).Получим:


(A v В) & (В v С) = (A v В) & (B v С).

  1. Применим правило дистрибутивности (16). Получим:

(A v В) & (B v С)= (AvB)&Bv(AvB)&C

  1. Применим закон коммутативности (18) и дистрибутивности (16). Получим:

( AvB)&Bv(AvB)&C = A&BvB&BvA&CvB&C.

  1. Применим (7) и получим:

A&BvB&BvA&CvB&C= A&BvBvA&CvB&C

  1. Применим (16), т.е. вынесем за скобки В.
    Получим:

A&BvBvA&CvB&C= B& (Av1)vA&CvB&C.

  1. Применим (6). Получим:

B& (Av1) vA&CvB&C= BvA&CvB&C.

  1. Переставим местами слагаемые , сгруппируем и вынсем В за скобки. Получим:

BvA&CvB&C = B& (1vC)vA&C.

  1. Применим (6) и получим ответ:

B&(1vC)vA&C=BvA&C.

(AvB) → (BvC)

импликация отрицание

(BvC)

двойное отрицание

(AvB)&Bv(AvB)&C


  1. 15

A&BvB&BvA&CvB&C


B

A&BvBvA&CvB&C



выносим за

скобки В

B& (Av1)vA&CvB&C


6, 7

BvA&CvB&C



группируем и выносим

В за скобки


B& (1vC)vA&C


6





Ответ:
F= ¬((AvB)→ ¬(BvC))= BvA&C.

121


(AvB)&Bv(AvB)&C

15 15

A8lBvB&BvA&CvB&€

В

A&BvBvA&CvB&C


выносим за скобки В

B&{Avl)vA&CvB&C


BvA&CvB&C.

группируем и выносим В за скобки

B&(lvC)vA&C 6


IV. Закрепление изученного

1

Упростите выражение:

  1. F = ¬ (A&B) v ¬ (BvC).

  2. F = (A→B) v (B→A).

  3. F = A&CvĀ&C.

  4. F =AvBvCvAvBvC
    Ответы:

  1. F = ¬ (A&B) v ¬ (BvC) =AvB.

  2. F= (A→B) v (B→A) = 1.

  3. F = A&CvĀ&C=C.

  4. F =AvBvCvAvBvC=1.

2

Упростите выражение:

1) F = ¬(X&Yv ¬(X&Y)).

  1. F = X&¬ (YvX).

  2. F = (XvZ) & (XvZ) & (YvZ).
    Ответы:

  1. F = ¬(X&Yv ¬(X&Y)) = 0.

  1. F = X&¬ (YvX) = X&Y.

  1. F = (XvZ) & (XvZ) & (YvZ) =X& (YvZ).

V. Итоги урока

Оценить работу класса и назвать учащихся, отличившихся на уроке.

Домашняя работа

Уровень знания: знать формулы законов и правил логики.

Уровень понимания: упростите логические выражения:

  1. F = Av (A&B).

  2. F = A& (AvB).

  3. F = (AvB) & (BvA) & (CvB).

  4. F = (1V (AvB)) V ((AvC) &1).

Уровень применения: как составить расписание.

При составлении расписания учителя высказали следующие пожелания: учитель физики хочет иметь первый и второй урок; учитель химии - первый или третий; учитель информатики — второй или третий. Предложите возможные варианты расписания.

Творческий уровень: дана следующая логическая схема. Упростите ее, используя минимальное количество вентилей.

¬


&

&

&

¬


¬


V


V


A


B


C



Подсказка: постройте к схеме логическое выражение, упростите его и нарисуйте новую схему.

Соберите электрическую схему упрощенного логического выражения.

назад к оглавлению

Уроки 4-5. Решение задач

Цели: закрепить полученные знания, умения, навыки; научить учащихся решать логические задачи. Требования к знаниям и умениям.

Учащиеся должны знать:

-основные понятия и определения.
Учащиеся должны уметь:

-строить логические схемы по логическому выражению и наоборот;

-решать логические задачи, используя законы логики.
Программно - дидактическое обеспечение: ПК, элементы для сбора электрических цепей, таблицы, плакаты, кроссворд, инструкции к работе.

Ход урока

I. Постановка целей урока

  1. Как создать свою модель логической схемы.

  2. Помогаем найти правду и установить истину.

II. Проверка домашнего задания
Проверяется у доски.

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

Упростите логические выражения:

l) A&B v A

2)A&B v A.

Упростите логические выражения:

  1. ¬(X vY)

  2. ¬(X &Y)

Запишите следующие высказывания в виде логических выражений:

    1. «Я поеду в деревню к бабушке и, если встречу там друзей, то интересно проведу время».

    2. «Неверно, что если солнце светит, то ветер дует только тогда, когда идет дождь».



Запишите следующие высказывания в виде логических выражений:

  1. «Если будет светить солнце, то ребята пойдут гулять, а если пойдет дождь, то ребята останутся дома».

  2. «Если учитель на уроке рассказывает интересно, то ни Маша, ни Саша, ни Аня не будут смотреть в окно».



III. Решение задач

Работа в группах

Пояснение: приготовьте заранее и распечатайте следующую инструкцию к работе в группах. Группы сформируйте дифференцированно, чтобы каждый ученик поработал в соответствии со своим уровнем обучености. Выдайте каждой группе инструкцию к работе.

Инструкция к работе

Тема: Повторение.

Цель работы:

  • построить логическую схему;

  • продемонстрировать и объяснить ее работу.

Оборудование: вентили, провода, переключатели.

Ход работы

  1. Упростите логическое выражение.

  2. Постройте таблицу истинности полученного логического выражения.






















































  1. Постройте логическую схему данного упрощенного логического выражения.

  2. Продемонстрируйте и объясните работу схемы. Покажите, что схема
    работает в соответствии с таблицей истинности.

Задания для работы:

Группа 1

Выражение: F = ¬ (А&В) v ¬ (В&С).

Ответ: F = ¬ (A&B) v ¬ (В&С) =AvBvBvC =AvBvC.

Логическая схема:

А

В

С

¬


¬


¬

V

V


Группа 2.

Выражение: F = ¬ (X&YvY&Z)vZ&X.

Ответ: F = ¬ (X&YvY&Z)vZ&X= ¬ (Y&(YvZ))vZ&X= ¬Yv(XvY)vZ&X=

= YvX&ZvZ &X= YvX& (ZvZ) =Yv X.

Логическая схема:


X

Y

¬


¬


V


Группа 3.

Выражение: F = A&Bv Dv ¬ (A vВ).
Ответ: F = A&Bv Dv ¬ (A vВ) = A&Bv DvA v В= B& (Av A) v D=BvD.

Логическая схема:

B

D

¬



2. Решение логических задач

Как правило, логические задачи формулируются на естественном языке. В этом случае в ходе решения необходимо соблюдать следующие этапы:

  1. Внимательно изучить условие.

  2. Выделить простые высказывания и обозначить их латинскими буквами.

  3. Записать условие задачи на языке алгебры логики.

  4. Составить конечную формулу, для этого объединить логическим умножением формулы каждого утверждения, приравнять произведение к единице.

  5. Упростить формулу.

  6. Проанализировать полученный результат или составить таблицу истинности, найти по таблице значения переменных, для которых значение функции равно 1.

  7. Записать ответ.
    №1

Синоптик объявляет прогноз погоды на завтра и утверждает следующее:

  1. Если не будет ветра, то будет пасмурная погода без дождя.

  2. Если будет дождь, то будет пасмурно и без ветра.

  3. Если будет пасмурная погода, то будет дождь и не будет ветра.
    Так какая же погода будет завтра?

Решение:

  1. Выделим простые высказывания и запишем их через переменные:

А - «Ветра нет». В - «Пасмурно». С - «Дождь».

  1. Запишем логические функции (сложные высказывания).

а) «Если не_будет ветра, то будет пасмурная погода без дождя» - А→В&С.

б) «Если будет дождь, то будет пасмурно и без ветра» - С → В&А.

в) «Если будет пасмурная погода, то будет дождь и не будет ветра»-

В→С&А.

  1. Запишем произведение указанных функций: B&С) & (С → В& А) & (В→С&А)

  2. Упростим формулу B&С) & (С → В& А) & (В→С&А)=

= (А& B vС & A& A v В& C & В v B& С&C&A) & ( C v B&A) =

= A& В& (C v B &A) = A& В& C v A& В& B&A = A&В&C

  1. Приравняем результат к единице: А & В & С = 1.

  2. Проанализируем результат: логическое произведение равно 1, если
    каждый множитель равен 1. Поэтому: А = 1, В = 1, С = 1. Значит: А=0,
    В=0, С=0.

7. Ответ: погода будет ясная, без дождя, но ветреная.
№2

Андрей, Аня и Маша решили пойти в кино. Каждый из них высказал свои пожелания по поводу выбора фильма.

Андрей сказал: «Я хочу посмотреть французский боевик».

Маша сказала: «Я не хочу смотреть французскую комедию».

Аня сказала: «Я хочу посмотреть американскую мелодраму».

Каждый из них слукавил в одном из двух пожеланий. На какой фильм пошли ребята?

Решение:

1. Выделим простые высказывания и запишем их через переменные:
А — «Французский фильм»

В — «Боевик»

С — «Комедия»

2. Запишем логические функции (сложные высказывания). Учтем условие о том, что каждый из ребят оказался прав_в одном предположении:

а) «Французский боевик» - A&В v A &В

б) «Американскую мелодраму» - ̿̿A&BvA&̿B

в) «Не французская комедия» - ًA& C vA&C

3. Запишем _произедение указанных функций:

(A& В v A &В)& (̿̿A&BvA&̿B)&(ًA& C vA&C).

4. Упростим формулу: =(A & В v A &В)&( ̿̿A&BvA&̿B)&( ًA& C vA&C)=
(A&B&A&B vA&B&A&BvA&B&A&B)&(A&CvA&C) = =(A&BvA&B)&(A&CvA&C)=A&B&CvA&B&C.

  1. Приравняем результат к единице: A&B&CvA&B&C=l

  2. Составим таблицу истинности:



А

В

С


A&B&CvA&B&С

0

0

0

0

0

0

1

0

0

1

0

1

0

1

1

0

1

0

0

0

1

0

1

1

1

1

0

0

1

1

1

0











Найдем по таблице значения переменных, для которых F = 1

А)

0

1

0

1


Б)

1

0

1

1



  1. Проанализируем результат: результат Б) не является решением, т.к. в ответе Маши оба утверждения оказываются неверными, что противоречит условию задачи. Результат А) полностью удовлетворяет условию задачи и поэтому является верным решением.

  2. Ответ: ребята выбрали американский боевик.

V. Итоги уроков

Оцените работу класса и назовите учащихся, отличившихся на уроке.

Домашнее задание

I. Уровень знания и понимания: подготовиться к контрольной работе.

Уровень применения:

Задача 1

Кто из ребят играет в шахматы, если известно, что:

  1. если играет Андрей или Виктор, то Сергей не играет;

  2. если Виктор не играет, то играют Сергей и Дмитрий;

  3. Сергей играет.
    Задача 2

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

Маша: «Эта амфора греческая и изготовлена в V веке».

Саша: «Эта амфора финикийская и изготовлена в III веке».

Миша: «Эта амфора не греческая и изготовлена в IV веке».

Каждый из ребят оказался прав только в одном предположении. Где и в каком веке была изготовлена амфора?

назад к оглавлению

Урок 6. Контрольная работа

(Раздать ученикам карточки с заданиями)

Вариант 1

  1. Запишите следующие логические высказывания в виде логического выражения. определив простые высказывания и используя логические операции:

  1. На уроке информатики старшеклассники отвечали на вопросы учителя и выполняли практическую работу.

  2. Если сумма цифр числа делится на 3, то число делится на 3.

  1. Составьте таблицу истинности логического выражения:

F= Av ¬B (AvB).

  1. Нарисуйте логическую схему для следующего логического выражения и определите значения сигналов на входах и выходе: F=A&B v B & C.

  2. Упростите логическое выражение: F=Xv ¬ (Y v ¬ (X&Y)).

  3. Решите задачу:

Компьютер вышел из строя. Известно, что:

  1. Если монитор неисправен, то исправна видеокарта, но не исправна оперативная память.

  2. Если видеокарта исправна, то исправна оперативная память, но неисправен монитор.

  3. Если исправна оперативная память, то исправна видеокарта, но неисправен монитор.

Исправен ли монитор?

Вариант 2

  1. Запишите следующие логические высказывания в виде логического выражения. определив простые высказывания и используя логические операции:

  1. Число 2005 нечетное и четырехзначное.

  2. Если Солнце всходит на востоке, то заходит оно на западе.

  1. Составьте таблицу истинности логического выражения:

F= A& B v ¬ (A &B).

  1. Нарисуйте логическую схему для следующего логического выражения и определите значения сигналов на входах и выходе: F=A&B v C v A.

  2. Упростите логическое выражение: F= (Xv Y) & (Y v Z) &Y.

  3. Решите задачу:

Кто из учеников идет на олимпиаду по физике, если известно следующее:

  1. Если Миша идет, то идет Аня, но не идет Маша.

  2. Если Маша не идет на олимпиаду, то идет Аня, но не идет Миша.

  3. Если Аня идет, то идет Миша, но не идет Маша.

Ответы и решения.

Вариант 1

  1. А) А - «Старшеклассники отвечали на вопросы учителя».

В - «Выполняли практическую работу».

F = А&В.

Б) А - «Сумма цифр числа делится на 3».

В - «Число делится на три». F = А→B


A

B

¬B

AvB

¬(AvB)

¬B(AvB)

Av ¬B(AvB)

0

0

1

0

1

1

1

0

1

0

1

0

0

0

1

0

1

1

0

0

1

1

1

0

1

0

0

1

  1. Схема.

A


B


C


&

&

¬

v


  1. F=Xv ¬ (Y v ¬ (X&Y))=X

  2. Решение:

А - монитор исправен.

В - видеокарта исправна.

С - ОЗУ исправно.

F= (A→B&C) & (B→C&A) & (C→B&A) =A&B&C.

A&B&C = 1 A=1, B=0, C=0.

Ответ: монитор исправен.

Вариант 2

1. А) А - «Число 2005 нечетное».

В - «Число 2005 четырехзначное».

F = А&В.

В) А - «Солнце восходит на востоке»

В - «Солнце заходит на западе».

F = А→В.


2.

A

B

A&B

¬ (A&B)

¬A

¬A&B

¬A&B v ¬(A&B)

0

0

0

1

1

0

1

0

1

0

1

1

1

1

1

0

0

1

0

0

1

1

1

1

0

0

0

0





A

B

¬


¬


&


V


C

V



  1. F= (X v Z) &(X v Z) &Y = X &Y.

  2. Маша идет на олимпиаду, а Аня и Миша не идут.

назад к оглавлению

Урок 7. Использование логических устройств в вычислительной технике

Цели: показать учащимся практическое применение логических элементов в вычислительной технике; показать назначение и принцип работы сумматора и триггера.

Требования к знаниям и умениям:

Учащиеся должны знать:

- что такое сумматор, триггер, их назначение и устройство.
Учащиеся должны уметь:

- строить логическую схему сумматора и триггера и объяснять принцип их работы.

Программно-дидактическое обеспечение: ПК, программа Калькулятор.

Ход урока

I. Постановка целей урока

  1. Компьютер и алгебра логики: как они связаны?

  2. Как компьютер выполняет арифметические действия? Как устроен его «ум»?

  3. Как компьютер запоминает информацию? Какова «память» компьютера?

  1. Изложение нового материала


1. Полусумматор. Сумматор

Логические схемы имеют практическое применение в вычислительной технике. Они используются:

1. Для реализации выполнения математических операций. Что это значит? А значит это следующее. Свое название («компьютер») компьютер получил не сразу. Сначала данное устройство называлось электронно-вычислительная машина, т.е. одним из главных назначений ЭВМ было выполнение вычислительных операций. Занималось этим специальное устройство, которое называется процессор. Процессор можно сравнить с умом человека. И именно процессор (так же, как и человек в «уме») выполнял (и выполняет) все математическое операции. Как он это делает? Рассмотрим на уроке.

2. Для хранения информации. Как он это делает? Также рассмотрим на уроке.

Итак, как процессор выполняет математические операции? Прежде всего, обратите внимание на следующие моменты:

  • Каким образом должна быть представлена информация, чтобы с ней мог работать компьютер? (В двоичном коде, т.е. в виде 0 и 1)

  • Чтобы компьютер мог выполнять математические операции с числами, в какой системе счисления они должны быть представлены? (В двоичной)

  • Почему? (Потому что двоичную систему счисления наиболее просто реализовать в технических устройства.)

  • Какие сигналы подаются на входы логических вентилей? (0 и 1)

Вывод: таким образом, и двоичной системе счисления и в алгебре логики информация представлена в виде двоичных кодов.

И второй момент. Для того чтобы максимально упростить работу компьютера, все математические операции (вычитание, деление умножение и т.д.) сводятся к сложению.

Вспомним таблицу сложения двоичных чисел. Запишем ее в несколько иной форме.



А

В


S

0

0


0

0

1


1

1

0


1

1

1

1

0

Обратите внимание на дополнительный столбец. Его мы ввели потому, что при сложении происходит перенос в старший разряд. Обозначим его Р и закончим заполнение таблицы.



А

В

Р

S

0

0

0

0

0

1

0

1

1

0

0

1

1

1

1

0

Проанализируем полученный результат.

  1. Таблице истинности какой логической функции аналогичен столбец Р? (Логическое умножение)

  2. Таблице истинности, какой логической функции аналогичен столбец S? (Логическое сложение, кроме случая, когда на выходы подаются две единицы)

Логическое выражение, по которому можно определить сумму S, записывается следующим образом: S = {A vB) & ¬ (A&B)
Построим к этому логическому выражению логическую схему:

A

B

&


&


V


¬


S



Проследим за изменением сигнала при прохождении через схему:

A

B

&


&


V


¬


S


(0,0,1,1)


(0,0,0,1)


(0,1,0,1)


(0,0,1,1)


(1,1,1,0)


(0,0,1,0)



С какого элемента можно снимать сигнал Р., если мы выяснили, что результат Р соответствует логическому умножению? (С первого вентиля, реализующего операцию конъюнкции.)

A

B

&


&


V


¬


S


(0,0,1,1)


(0,0,0,1)


(0,1,0,1)


(0,0,1,1)


(1,1,1,0)


(0,0,1,0)


(0,0,0,1)


P



Полученная нами схема выполняет сложение двоичных одноразрядных чисел и называется полусумматором, так как не учитывает перенос из младшего разряда в старший (выход Р).

Для учета переноса из младшего разряда необходимы два полусумматора.

Более «умным» является устройство, которое при сложении учитывает перенос из младшего разряда. Называется оно полный одноразрядный сумматор.

Сумматор — это логическая электронная схема, выполняющая сложение двоичных чисел. Сумматор является главной частью процессора.

Рассмотрим принцип работы одноразрядного двоичного сумматора.

Одноразрядный сумматор должен иметь три входа: А, В - слагаемые и Р0 - перенос из предыдущего разряда и выходы: S - сумма и Р - перенос.

Нарисуем одноразрядный сумматор в виде единого функционального узла:

A

A

P0

P

S




Построим таблицу сложения:

А

В

P0

P

S

0

0

0

0

0

0

1

0

0

1

1

0

0

0

1

1

1

0

1

0

0

0

1

0

1

0

1

1

I

0

1

0

1

1

0

1

1

1

1

1

Логические выражения для Р и S будут иметь следующий вид:

S= (AvBvP0) &P0v (A&B&P0).

Р = & В) v & Р0) v & Р0 ).

Но процессор, как правило, складывает многоразрядные двоичные числа. Например, 1012 + 1102 = 10112. Для того чтобы вычислить сумму n-разрядных двоичных чисел, необходимо использовать многоразрядный сумматор, в котором на каждый разряд ставится одноразрядный сумматор, и выход-перенос сумматора младшего разряда подключается к входу сумматора старшего разряда.


A0

B0

P0

P1

S0

P2

S1

S2

P3

A1

B1

A2

B2


Упражнение.

Проследите на схеме за изменением сигнала на примере сложения 1012 + 1102 = 10112.

  1. Триггер

Триггер (rigger-защелка, спусковой крючок) - это устройство, позволяющее запоминать, хранить и считывать информацию. Каждый триггер хранит 1 бит информации, т. е. он может находиться в одном из двух устойчивых состояний - логический «0» или логическая «1».

Триггер способен почти мгновенно переходить из одного электрического состояния в другое и наоборот.

Логическая схема триггера выглядит следующим образом:


V


V


¬


¬


S


R


Q


Q



Входы триггера расшифровываются следующим образом-S (от английского Set-установка) и R(Reset- сброс). Они используются для установки триггера в единичное состояние и сброса в нулевое. В связи с этим такой триггер называется RS –триггер.

Выход Q называется прямым, а противоположный – инверсный. Сигналы на прямом и инверсном выходах должны быть противоположны.

Рассмотрим, как работает это схема.

Пусть для определенности на вход S подан единичный сигнал, а R=0. тогда независимо от состояния другого входа, который присоединен к выходу Q (иначе говоря, вне зависимости от предыдущего состояния триггера), верхний по схеме элемент ИЛИ - НЕ получит на выходе 0 (результат ИЛИ, естественно, равен 1, но его инверсия -0). Это нулевой сигнал передается на вход другого логического элемента, где на втором входе R тоже установлен 0. В итоге после выполнения логических операций ИЛИ – НЕ над двумя входными нулями этот элемент получает на выходе 1, которую возвращает первому элементу на соответствующий вход. Последнее обстоятельство очень важно: теперь, когда на этом входе установилась 1 состояние другого входа (S) больше роли не играет. Иными словами, если даже теперь убрать входной сигнал S, внутреннее распределение уровней сохранится без изменения. Поскольку согласно нашим рассуждениям Q=1 триггер перешел в единичное состояние, и, пока не придут внешние сигналы, сохраняет его. Итак, при подаче сигнала на вход S триггер переходит в устойчивое единичное состояние.

При противоположной комбинации сигналов, R=1и S=0 вследствие полной симметрии схемы все происходит совершенно аналогично, но теперь на выходе Q уже получается 0. иными словами, при подаче сигнала на вход R-триггер сбрасывается в устойчивое нулевое состояние.

Особо отметим, что окончание действия сигнала в обоих случаях приводит к тому, что окончание действия сигнала в обоих случаях приводит к тому, что R=0 и S=0. При этом триггер сохраняет на выходе Q тот сигнал, который был установлен входным импульсом (S или R). Отсюда такой режим часто называют режимом хранения информации. При отсутствии входных сигналов триггер сохраняет последнее занесенное в него значение сколь угодно долго.

Оставшийся режим R=1и S=1, когда сигнал подается на оба входа одновременно, считается запрещенным, поскольку в этом случае после снятия входных сигналов (особенно одновременного!) результат непредсказуем.


Заполним таблицу.

Вход S

Вход R

Выход Q

Выход Q

Режим триггера

1

0

1

0

Установка 1

0

1

0

1

Установка 0

0

0

Последние значения

Хранение информации

1

1

Запрещено!

Итак, мы выяснили, как работает триггер.

Без преувеличения триггер является одним из существенных узлов при проектировании ЭВМ. Так кА триггер может хранить только 1 бит информации, то несколько триггеров объединяют вместе.

Полученное устройство называется регистром. Регистры содержатся во всех вычислительных узлах компьютера – начиная с центрального процессора, памяти и заканчивая периферийными устройствами. И позволяют также обрабатывать информацию. В регистре может быть 8, 16, 32 или 64 триггера.


Виды регистров

Назначение

Регистры памяти (ячейки)

Служат для хранения информации.

Счетчик команд

Хранит адрес выполняемой в данный момент команды, по которому она находится в ОЗУ.

Регистр команд

Служит для вычисления адреса ячейки, где хранятся данные, требуемые программе.


  1. Закрепление изученного материала

Отвечаем на вопросы, поставленные в начале урока.

  1. Итоги урока

Оцените работу класса и назовите учащихся, отличившихся на уроке.

Домашнее задание

Уровень знания:

  1. Назначение сумматора и триггера.

  2. Области использования сумматора и триггера.

Уровень понимания: объясните принцип работы сумматора и триггера.

Уровень применения: преобразуйте логическое выражение, описывающее работу полусумматора, рассмотренную на уроке. И постройте альтернативную логическую схему.

Творческий уровень:

  1. Постройте схему полного сумматора одноразрядных двоичных чисел с учетом переноса разряда.

  2. Проследите по логической схеме триггера запрещенную ситуацию и поясните ее.


назад к оглавлению















Урок 8. Тестирование.

Тест по теме: «Основы логики»

Вариант 1

1. Наука, изучающая законы и формы мышления, называется:

А) алгебра; В) философия;

Б) геометрия; Г) логика.

2. Повествовательное предложение, в котором что-то утверждается или отрицается называется:

А) выражение; В) высказывание;

Б) вопрос; Г) умозаключение.

3. Константа, которая обозначается «1» в алгебре логики называется:
А) ложь; В) правда;

Б) истина; Г) неправда.

4. Какое из следующих высказываний являются истинным?
А) город Париж — столица Англии;

Б) 3+5=2+4;

В) II + VI = VIII;

Г) томатный сок вреден.

5. Объединение двух высказываний в одно с помощью союза «и» называется:

А) инверсия; В) дизъюнкция;

Б) конъюнкция; Г) импликация.

6. Чему равно значение логического выражения (l v l) & (1 v 0)?
А) 1; В) 10;

Б) 0; Г) 2.

7. Какая из логических операций не является базовой?
А) конъюнкция; В) инверсия;

Б) дизъюнкция; Г) эквивалентность.

8. Графическое изображение логического выражения называется:
А) схема; В) чертеж;

Б) рисунок; Г) график.

9. Двойное отрицание логической переменной равно:

А) 0; В) исходной переменной;

Б) 1; Г) обратной переменной.

10. Устройство, выполняющее базовые логические операции, называется:
А) регистр; В) вентиль;

Б) ячейка; Г) триггер.

11. Какое состояние триггера является запрещенным?

А) 1-1; В) 0-0;

Б) 0-1; Г) 1-0.



Вариант 2

1. Что такое логика?

A) это наука о суждениях и рассуждениях;

Б) это наука, изучающая законы и методы накопления, обработки и сохранения информации с помощью ЭВМ;

B) это наука о формах и законах человеческого мышления и, в частности, о законах доказательных рассуждений;

Г) это наука, занимающая изучением логических основ работы компьютера.

2. Логическая функция - это:

А) простое высказывание; В) вопросительное предложение;

Б) составное высказывание; Г) логическая операция.

3. Как кодируется логическая переменная, принимающая значение «ЛОЖЬ»?

А) 0; В) 2;

Б) 1; Г) неправда;

4. Какое из следующих высказываний является истинным?
А) город Париж — столица Англии;

Б) 3+5=2+4;

В) II + VI = VIII;

Г) томатный сок вреден.

5. Чему равно значение логического выражения (l v l) & (0 v 0) =?
А) 0; В) 10;

Б)1; Г) 2.

6. Значение логического выражения ¬(A v B) по закону Моргана равно:

А) ¬А& ¬В; В) ¬А&В;

Б) А&¬В; Г) ¬Av¬B.

7. Логической операцией не является:

  1. логическое деление;
    Б) логическое сложение;

  2. логическое умножение;
    Г) логическое отрицание.

8. Объединение двух высказываний в одно с помощью оборота «если..., то...» называется:

А) инверсия; В) дизъюнкция;

Б) конъюнкция; Г) импликация.

9. Таблица, содержащая все возможные значения логического выражения, называется:

  1. таблица ложности;
    Б) таблица истинности;

  2. таблица значений;
    Г) таблица ответов.

10. Для сложения одноразрядных двоичных чисел используется:

  1. регистр;
    Б) триггер;

  2. полусумматор;
    Г) сумматор.

11. Какое состояние триггера хранит информацию?

А) 1 - 0; В) 0 - 0;

Б) 0-1; Г) 1 - 1.

назад к оглавлению





























Литература

  1. О. Ефимова, В. Морозов, Н. Угринович. Курс компьютерной технологии с основами информатики. Учебное пособие для старших классов. М., ООО «Фирма «Издательство АСТ», 1999. – 432 с., ил.

  2. Соколова О.Л. Поурочное планирование по информатике, 10 класс. М., ВАКО, 2006.

  3. Житкова О.А., Кудрявцева К.К. Тематический контроль по информатике, М. Интеллект- Центр. 1999 – 80с.

  4. Семакин А. и др., Базовый курс информатики, М. 2005.


назад к оглавлению









































41



Подайте заявку сейчас на любой интересующий Вас курс переподготовки, чтобы получить диплом со скидкой 50% уже осенью 2017 года.


Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

Краткое описание документа:

Основы логики. Законы логики. Упрощение логических выражений. В основе современной логики лежат учения. Созданные еще древнегреческими мыслителями, хотя первые учения о формах и способах мышления возникли в Древнем Китае и Индии. Основоположником формальной логики является Аристотель, который впервые отделил логические формы мышления от его содержания.<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />

Логика – это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств.

Законы мира, сущность предметов, общее в них мы познаем посредством абстрактного мышления. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.

Мышление всегда осуществляется через понятия, высказывания и умозаключения.

Понятие – это форма мышления, которая выделяет существенные признаки предмета или класса предметов, позволяющие отличать их от других.

Автор
Дата добавления 23.04.2015
Раздел Информатика
Подраздел Конспекты
Просмотров1500
Номер материала 252512
Получить свидетельство о публикации
Похожие материалы

Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.
Специальное предложение
Вверх