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