Среда, 04.09.2019, 09:31
План-конспекты уроков по информатике
0+ Главная Регистрация Вход
Приветствую Вас, Гость · RSS
Меню сайта
Категории раздела
Все [56]
logoWriter [19]
Уроки по теме "logoWriter"
CorelDraw [7]
Практические задания с пошаговым алгоритмом выполнения по теме "CorelDraw"
MacromediaFlash [0]
Практические работы по теме "MacromediaFlash"
MS Excel [7]
План-конспекты по теме "MS Excel"
Логика [10]
План-конспекты уроков по логике
Разное [10]
Уроки, которые не подходят ни в одну категорию
Pascal [7]
Форма входа
Статистика


Онлайн всего: 1
Гостей: 1
Пользователей: 0
Наш опрос
Очень сложно найти конспект на тему...
Всего ответов: 648
Реклама
 Каталог статей
Главная » Уроки » Все

Тема 5. Законы логики высказываний.

Тема 5. Законы логики высказываний.

Цели урока.
1) ознакомить учащихся с законами алгебры логики;
2)    развивать логическое мышление;
3)    воспитывать интерес к предмету.    
Ход урока.
I.    Орг. момент.
II.    Проверка д/з.
III.    Новая тема.
Табличный способ определения истинности сложного высказывания имеет ограниченное применение, т.к. при увеличении числа логических переменных приходится перебирать слишком много вариантов. В таких случаях используют способ приведения формул к нормальной форме.
Формула имеет нормальную форму, если в ней отсутствуют знаки эквивалентности, импликации, двойного отрицания, при этом знаки отрицания находятся только при переменных.
Сложные высказывания (формулы) А и В называются равносильными, если их истинностные значения совпадают для любых наборов истинностных значений простейших высказываний, входящих в эти формулы.
В алгебре логики имеется ряд законов, позволяющих производить равносильные преобразования формул. Проведем соотношения, отражающие эти законы.

1.    Закон двойного отрицания:
         ¬ ¬ А = А;
2.    Переместительный (коммутативный) закон:
-    для логического сложения:
A + B = B + A;    
-    для логического умножения:
A ∙ B = B ∙A.
В обычной алгебре a+b=b+a, ab=ba.

3.    Сочетательный (ассоциативный) закон:
-    для логического сложения:
( A + B ) + C = A + ( B + C );    
-    для логического умножения:
( A ∙ B ) ∙ C = A ∙ ( B ∙C).
В обычной алгебре (a+b)+c=a+(b+c)=a+b+c,
                (ab)c=a(bc)=abc.
4.    Распределительный (дистрибутивный) закон:
-    для логического сложения:
( A + B ) ∙ C = ( A ∙ C ) + (B ∙ C );
-    для логического умножения:
( A ∙ B ) + C = ( A + C ) ∙ ( B + C ).
В обычной алгебре (a+b)c=ac+bc.
5.    Закон общей инверсии (законы де Моргана):
-    для логического сложения:
     ¬ (A+B)= ¬A∙¬B;
-    для логического умножения:
¬(A∙B)=¬A+¬B.
6.    Закон равносильности (идемпотентности – от лат. слов idem – тот же самый и potens – сильный):
-    для логического сложения:
     A+A=A;
-    для логического умножения:
A∙A=A
7.    Законы исключения констант:
-    для логического сложения:
     A+1=1, A+0=A;
-    для логического умножения:
A∙1=A, A∙0=0.
8.    Закон противоречия:
A∙¬A=0.
Невозможно, чтобы противоречивые высказывания были истинны одновременно.
9.    Закон исключенного третьего:
A+¬A=1. Из двух противоречивых высказываний одно истинно.
10.     Закон поглощения:
-    для логического сложения:
     A+ (A∙B)=A;
-    для логического умножения:
A∙ (A+B)=A;
11.     Закон исключения (склеивания):
-    для логического сложения:
     (A∙B) + (A∙¬B)=A;
-    для логического умножения:
(A+B) ∙ (A+¬B)=A.
12.     Закон контрапозиции (правило перевертывания):
 ( А =>B ) = (¬ B => ¬A).
        а) A B=¬A+B;
        б) A B=(A∙B) + (¬A∙¬B)= (¬A+B) ∙ (A+¬B)


IV. Д/з.
Вычислите:
 а) 1+Х∙0        (1)
 б) Х∙Х∙1        (Х)
 в) 0∙Х+0        (0)
 г) 0+Х∙Х        (Х)

Категория: Все | Добавил: Казначей (06.04.2011)
Просмотров: 10407 | Комментарии: 2 | Теги: Законы логики высказываний, закон де Моргана, контрпозиция, законы логики | Рейтинг: 0.0/0
Не забываем комментировать!!!

Другие материалы
Тема 8. Решение логических задач. Часть 2-я
Урок 2: Команды перемещения исполнителя черепашка
Понятие формализации. Часть 2.
Практическая работа №4: Редактирование сегментов
Графика в Турбо Паскаль.
Тема 5. Законы логики высказываний.
Практическая работа №2: Рисование линий
Тема 9. Использование логических операций в операт...
Урок 8: Работа с листом форм в среде LogoWriter
Магистрально-модульный принцип построения компьюте...
Электронные таблицы. Мастер функций.
Урок 6: Построение изображений в цвете

Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Copyright KUPI © 2019
Готовимся к ЕГЭ и ГИА
ГИА, ЕГЭ 2014 по информатике ФИПИ скачать бесплатно без смс
Отследи свою посылку
Друзья сайта
  • Софт бесплатно
  • Интернет магазин бесплатно
Наша ссылка
Наша кнопка
Конспекты уроков
Лидеры по просмотрам
Виды и типы современных языков программирования
Тема 8. Решение логических задач.
Алгоритм и его свойства
Тема 7. Перевод и запись различных выражений с естественного языка на язык алгебры логики.
Информация: определение, свойства, формы представления; информационные процессы.
Относительная и абсолютная адресация
Моделирование и формализация. Часть 1.
Графика в Турбо Паскаль.
Сортировка и фильтрация данных в MS Excel
Понятие формализации. Часть 2.
Загрузить файл
Сделать бесплатный сайт с uCoz