Содержание
- 2. Основные законы формальной логики Закон тождества А = А Закон непротиворечия А&¬A=0 Закон исключения третьего А∨¬А=1
- 3. Свойства констант ¬0=1 ¬1=0 А∨0=А А&0=0 А∨1=1 А&1=А
- 4. Законы алгебры логики Идемпотентность А∨А=А А&А=А Коммутативность А ∨ В=В ∨ А А&В=В&А Ассоциативность А ∨
- 5. Законы алгебры логики Дистрибутивность А ∨ (В & С)= (А ∨ В) &(A∨ С) А &
- 6. Огастес де МОРГАН Морган Огастес (Августус) де (27.6.1806-18.3. 1871) - шотландский математик и логик. Секретарь Королевcкого
- 7. Правила замены операций Импликации А⇒ В = ¬А ∨ B А⇒ В = ¬ B⇒ A
- 8. Упрощение сложных высказываний - это замена их на равносильные на основе законов алгебры высказываний с с
- 9. Основные приемы замены X=X∧1 ⎤ X=X∨0 ⎦ 1=А ∨ ¬А 0=В ∧ ¬ В Z=Z ∨Z
- 11. Скачать презентацию