27.10   Алгебра логики. Высказывание. Логические операции

https://www.yaklass.ru/p/informatika/10-klass/teoreticheskie-osnovy-informatiki-7279404/algebra-logiki-6735748/re-fa452461-1fa7-4364-a420-3cc3039389b2    теория в ЯКлассе

учить §1.4 Элементы алгебры логики

-  записать в тетрадь определения, понятия, таблицы

Законы алгебры логики:

Закон тождества

A = A

Закон непротиворечия

A & not A = 0

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

A and not A = 1

Закон двойного отрицания

Not (not A) =1

Закон Де Моргана

• Not (A & B) = not A or not B
• Not (A or B) = not A & not B

Правила коммутативности:

• A & B = B & A
• A or B = B or A

Правила ассоциативности

• (A & B) & C = A & (B & C)
• (A or B) or C = A or (B or C)

Правила дистрибутивности

• (A & B) OR (A & C) = A & (B OR C)
• (A or B) & (A or C) = A or (B & C)

Правила равносильности

• A or A = A
• A & A = A

Правила исключения констант

• A or 1 = 1
• A or 0 = A
• A & 1 = A
• A & 0 = 0