Слайд 2Закон тождества
Закон непротиворечия
Закон исключенного третьего
Закон двойного отрицания
Законы общей инверсии (законы де Моргана)
Закон
коммутативности
Закон ассоциативности
Закон дистрибутивности
Закон идемпотентности (равносильности)
Законы исключения констант
Законы поглощения
Законы исключения (склеивания)
Закон контрапозиции (правило перевертывания)
Выразить импликацию через конъюнкцию
Выразить эквивалентность через базовые логические операции
Слайд 3Закон тождества
Всякое высказывание тождественно самому себе
А = А
Слайд 4Закон непротиворечия
Высказывание не может быть одновременно истинным и ложным
Слайд 5Закон исключенного третьего
Высказывание может быть либо истинным, либо ложным, третьего не
дано.
Слайд 6Закон двойного отрицания
Если дважды отрицать некоторое высказывание, то в результате получим
исходное высказывание.
Слайд 7Законы общей инверсии (законы де Моргана)
Для логического сложения
Для логического умножения
Слайд 8Закон коммутативности (переместительный)
Для логического сложения
Для логического умножения
Слайд 9Закон ассоциативности (сочетательный)
Для логического сложения
Для логического умножения
Если в логическом выражении
используется только операция логического сложения или логического умножения, то можно пренебрегать скобками или расставлять их произвольно:
Слайд 10Закон дистрибутивности (распределительный)
Дистрибутивность сложения относительно умножения
Дистрибутивность умножения относительно сложения
В алгебре
высказываний можно выносить за скобки как общие множители, так и общие слагаемые.
Слайд 11 В обычной алгебре справедлив распределительный закон только для сложения:
(A+B)C=AC+BC
Слайд 12Закон идемпотентности (равносильности)
Для логического сложения
Для логического умножения
Слайд 13Законы исключения констант
Для логического сложения
Для логического умножения
Слайд 14Законы поглощения
Для логического сложения
Для логического умножения
Слайд 15Законы исключения (склеивания)
Для логического сложения
Для логического умножения
Слайд 16Закон контрапозиции (правило перевертывания)
Слайд 17Выразить импликацию через дизъюнкцию