Методика изучения темы «Представление информации». Язык логики и его место в базовом курсе информатики. Выполнила: Студентка 5-го курса Килина Е.П. группа. - презентация

1 Методика изучения темы «Представление информации». Язык логики и его место в базовом курсе информатики. Выполнила: Студентка 5-го курса Килина Е.П. группа М-064

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

3 Закон двойного отрицания Двойное отрицание исключает отрицание

4 Переместительный (коммутативный) закон для логического сложения: для логического умножения:

5 Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания. В обычной алгебре = 3 + 2, 2 * 3 = 3 * 2.

6 Сочетательный (ассоциативный) закон для логического сложения: для логического умножения:

7 При одинаковых знаках скобки можно ставить произвольно или вообще опускать. В обычной алгебре: (2 + 3) + 4 = 2 + (3 + 4) = * (6 * 7) = 5 * (6 * 7) = 5 * 6 * 7

8 Распределительный (дистрибутивный) закон для логического сложения: для логического умножения:

9 Определяет правило выноса общего высказывания за скобку. В обычной алгебре: (2 + 3) * 4 = 2 * * 4.

10 Закон общей инверсии (законы де Моргана) для логического сложения: для логического умножения:

11 Закон идемпотентности для логического сложения: для логического умножения: Закон означает отсутствие показателей степени.

12 Законы исключения констант для логического сложения: для логического умножения:

13 Закон противоречия Невозможно, чтобы противоречащие высказывания были одновременно истинными

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

15 Закон поглощения для логического сложения: для логического умножения:

16 Закон исключения (склеивания) для логического сложения: для логического умножения:

17 Закон контрапозиции (правило перевертывания)

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