Важно
Решение задач
Разделы информатики
Алгебра логики Законы алгебры логики и операции с константами

Законы алгебры логики и операции с константами

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

Название закона
Формулы
Закон коммутативности
AVB=BVA
AΛB=BΛA
Закон ассоциативности
(AVB)VC=AV(BVC)
(AΛB)ΛC=AΛ(BΛC)
Закон дистрибутивности
AV(BΛC)=(AVB)Λ(AVC)
AΛ(BVC)=(AΛB)V(AΛC)
Закон двойного отрицания
¬(¬A)=A
Закон де Моргана
¬(AVB)=¬AΛ¬B
¬(AΛB)=¬AV¬B
Закон исключения третьего
AV¬A=1
Закон непротиворечивости
AˬA=0
Закон идемпотентности
AVA=A
AΛA=A
Закон поглощения
AVAΛB=A
AΛ(AVB)=A

Операции с константами:

операции с нулем
¬0=1
AV0=A
AΛ0=0
операции с единицей
¬1=0
AV1=1
AΛ1=A

Перейти к статье: "Логические операции".

Перейти к решению задач на алгебру логики из демо ЕГЭ.

 

Rambler's Top100

© Латыпова В, 2012-2015. Все права защищены.
Копирование материалов сайта только с разрешения администрации сайта