Содержание
-
Вопросы:
1. Что изучает наука логика? 2. В чем особенность алгебры логики? 3. Какие выражения являются высказываниями, а какие нет? 4. Как обозначают высказывания в алгебре логики 5. Какие возможные значения могут иметь логические выражения? 6. Какие возможные обозначения применяют для логических выражений и их значений? 7. Какие логические операции вы знаете? 8. Как построить таблицу истинности сложного высказывания? 9. Порядок действий в логическом выражении?
-
-
ТЕМА УРОКА: Свойства логических операций
-
Переместительный (коммутативный) закон От перестановки мест множителей (слагаемых) произведение (сумма) не меняется. A & B = B & А A \/ B = B \/ A для логического умножения для логического сложения
-
Сочетательный (ассоциативный) закон Произведение (сумма) не зависит от группировки его множителей (слагаемых). (A & B) & С= А & (B & С) (A \/ B) \/ С= А \/ (B \/ С) для логического умножения для логического сложения
-
Распределительный (дистрибутивный) закон A & (B \/ С)= (А & B) \/ (А & С) A \/ (B & С) = (А \/ B) &(А \/ С) для логического умножения для логического сложения
-
Закон двойного отрицания Двойное отрицание исключает отрицание
-
Закон исключённого третьего для логического умножения для логического сложения А & А = 0 А \/ А = 1 Из двух противоречивых высказываний об одном и том же предмете одно всегда истинно, а второе – ложно, третьего не дано.
-
Закон повторения для логического умножения для логического сложения А & А = А А \/ А = А
-
Законы операций с 0 и 1 для логического умножения для логического сложения А & 0 = 0; А & 1 = А А \/ 0 = А; А \/ 1 =1
-
Законы общей инверсии для логического умножения для логического сложения ¬(А & В) = ¬А \/ ¬В ¬(А \/ В) = ¬А &¬В
-
Докажем распределительный закон для логического умножения A & (B \/ С) = (А & B) \/ (А & С). 1. A & (B \/ С) = (А & B) \/ (А & С) 1 2 3 4 5 3. 2. A & (B\/ С) = (А & B) \/ (А & С) 4. Количество столбцов: 3+5=8 5. Количество строк: 8+1 = 9
-
Докажем распределительный закон для логического умножения A & (B \/ С) = (А & B) \/ (А & С). 0 1 1 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1
-
Докажем распределительный закон для логического умножения A & (B \/ С) = (А & B) \/ (А & С).
-
Домашнее задание:
Учебник: § 1.3.4. доказать один из законов (переместительный или сочетательный) с помощью таблицы истинности.
Нет комментариев для данной презентации
Помогите другим пользователям — будьте первым, кто поделится своим мнением об этой презентации.