Содержание
- 2. Законы логики Закон тождества Закон непротиворечия Закон исключения третьего Закон двойного отрицания Законы де Моргана Правило
- 3. Закон тождества Всякое высказывание тождественно самому себе: А = А
- 4. Высказывание не может быть одновременно истинным и ложным. Если высказывание А — истинно, то его отрицание
- 5. Результат логического сложения высказывания и отрицания его всегда принимает значение истина: A v ¬A = 1
- 6. Двойное отрицание некоторое высказывание, равно исходному высказыванию: ¬ ¬A = A Закон двойного отрицания
- 7. Отрицание дизъюнкции высказываний равнозначно конъюнкции отрицаний этих высказываний: ¬(A v B)= ¬А & ¬В Отрицание конъюнкции
- 8. В алгебре высказываний можно менять местами логические переменные при операциях логического умножения и логического сложения: A
- 9. Можно пренебрегать скобками в логическом выражении, если в нем используются только операция логического умножения или только
- 10. В алгебре логике за скобки можно выносить как общий множитель, так и общее слагаемое: Дистрибутивность умножения
- 11. A 1 = 1, A 0 = A; A1 = A, A 0 = 0.
- 12. A (AB) = A; A (A B) = A. Закон поглощения
- 13. (AB) (¬A B) = B; (A B) (¬A B) = B Закон
- 14. Другие законы А В = ¬A В; ¬ (A B)=AB А В = (А
- 15. Примеры Упростить логическое выражение: (А & В) (A & ¬В). 1.Воспользуемся правилом дистрибутивности и вынесем
- 16. Примеры Упростить логическое выражение: (А В) & (А С). 1.Раскроем скобки: (А В)
- 17. Задание1 Упростить выражение (АВ)С Преобразуем в соответствии с законом де Моргана: (АВ)С = А
- 18. Задание2 Упростить выражение (АВ)С Преобразуем в соответствии с законом де Моргана: (АВ)С = А
- 19. Упростить логическое выражение: ¬(A ¬B) ¬(A B) A & B 1. Раскроем инверсию сложных
- 20. Законы логики http://markx.narod.ru/bool/zaklog.htm Упрощение логических выражений https://sites.google.com/site/marratashalogica/zakony-logiki/uprosenie-logiceskih-vyrazenij Основы логики и логические основы компьютера http://mir-logiki.ru/log_zakoni Источники литературы
- 22. Скачать презентацию