Логические законы. Закон тождества презентация

ЗАКОН НЕПРОТИВОРЕЧИЯ
Высказывание не может быть одновременно истинным и ложным. Если высказывание А истинно, то его отрицание не А должно быть ложно:
А ^ А = 0
–

ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО
Высказывание может быть либо истинным, либо ложным, третьего не дано:
А v А = 1
–

ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ
Если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание:
А = А
–
–

ЗАКОНЫ де МОРГАНА
А v В = А ^ В
А ^ В = А v В
–
–
–
–

ЗАКОН КОММУТАТИВНОСТИ
Можно менять местами логические переменные

ЗАКОН АССОЦИАТИВНОСТИ
Можно пренебрегать скобками или произвольно их расставлять (только если используются операции сложения, или только – операции умножения)

ЗАКОН ДИСТРИБУТИВНОСТИ
Можно выносить за скобки как общие множители, так и общие слагаемые

СВОЙСТВА КОНСТАНТ
А v0 = А
А v1 = А
А&0 = 0
А&1 = А

ЗАКОНЫ ИДЕМПОТЕНТНОСТИ
АvА = А
А&А = А