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