Презентация "Алгебра логики"

Презентации учебные
ppt
21.01.2017

Публикация в СМИ для учителей

Бесплатное участие. Свидетельство СМИ сразу.
Мгновенные 10 документов в портфолио.

Добавить материал

При решении многих логических задач часто приходится упрощать формулы, полученные при формализации их условий. Упрощение производится на основе эквивалентных преобразований, опирающихся на основные логические законы. Законы алгебры высказываний (алгебры логики) – это тавтологии. В алгебре высказываний логические законы выражаются в виде равенства эквивалентных формул.

Законы логики.ppt

Законы логики •Законы формальной логики •Законы алгебры высказываний

Законы алгебры высказываний При решении многих логических задач часто приходится упрощать формулы, полученные при формализации их условий. Упрощение производится на основе эквивалентных преобразований, опирающихся на основные логические законы. Законы алгебры высказываний (алгебры логики) – это тавтологии. В алгебре высказываний логические законы выражаются в виде равенства эквивалентных формул.

А&A = 1 или A&A = 0 Основные законы Закон тождества: А=А Всякое понятие и суждение тождественно самому себе. Закон непротиворечия: Не могут быть одновременно истинными суждение и его отрицание Закон исключенного третьего: АvА = 1 В один и тот же момент времени высказывание может быть либо истинным, либо ложным, третьего не дано. Закон двойного отрицания: Если отрицать дважды некоторое высказывание, то в результате получится исходное высказывание. А=А

Свойства констант: 0=1 истина); A v 0=A; A v 1=1 (отрицание лжи есть (отрицание истины есть 1=0 ложь); A & 0=0; A & 1=A. Закон идемпотентности: A v A=A (отсутствие коэффициентов) A & A = A (отсутствие степеней)

Законы коммутативности: A v B=B v A; A & B=B & A Законы ассоциативности: A v (B v C) =(A v B) v C; A & (B & C)=(A & B)&C Законы дистрибутивности: A v (B & C)=(A v B) & (A v C); A & (B v C)=(A & B)v( A & C) Законы поглощения: Av(A&B)=A; Законы де Моргана: A v B = A & B A&(A v B)=A A & B = A v B

Правила замены операций импликации и эквивалентности А В = А v B; A B = ( A & B) v (A & B ); A B = ( A v B) & (A v B ); A B = ( A  B) & (B A );

Материалы на данной страницы взяты из открытых источников либо размещены пользователем в соответствии с договором-офертой сайта. Вы можете сообщить о нарушении.

Посмотрите также