Слайд 21. ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ.
А=А
Я пойду гулять = Я не не пойду гулять
Двойное
![1. ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ. А=А Я пойду гулять = Я не не](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/310588/slide-1.jpg)
отрицание исключает отрицание.
Слайд 32.ПЕРЕМЕСТИТЕЛЬНЫЙ (КОММУНИКАТИВНЫЙ) ЗАКОН.
- Для логического сложения:
АvB = BvA
Ты или я = Я
![2.ПЕРЕМЕСТИТЕЛЬНЫЙ (КОММУНИКАТИВНЫЙ) ЗАКОН. - Для логического сложения: АvB = BvA Ты или](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/310588/slide-2.jpg)
или ты
Для логического умножения:
A&B = B&A
Собака и кошка = Кошка и собака
Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.
Слайд 43. СОЧЕТАТЕЛЬНЫЙ (АССОЦИАТИВНЫЙ) ЗАКОН.
- Для логического сложения:
(AvB)vC = Av(BvC)
Для логического умножения:
(A&B)&C =
![3. СОЧЕТАТЕЛЬНЫЙ (АССОЦИАТИВНЫЙ) ЗАКОН. - Для логического сложения: (AvB)vC = Av(BvC) Для](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/310588/slide-3.jpg)
A&(B&C)
При одинаковых знаках скобки можно ставить произвольно или вообще опускать.
Слайд 54. РАСПРЕДЕЛИТЕЛЬНЫЙ (ДИСТРИБУТИВНЫЙ) ЗАКОН.
Для логического сложения:
(AvB)vC= (A&C)v(B&C)
Для логического умножения:
(A&B)vC = (AvC)&(BvC)
Определяет правила
![4. РАСПРЕДЕЛИТЕЛЬНЫЙ (ДИСТРИБУТИВНЫЙ) ЗАКОН. Для логического сложения: (AvB)vC= (A&C)v(B&C) Для логического умножения:](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/310588/slide-4.jpg)
выноса общего высказывания за скобку.
Слайд 65. ЗАКОН ОБЩЕЙ ИНВЕРСИИ (ЗАКОНЫ ДЕ МОРГАНА).
Для логического сложения:
AvB = A&B
Для логического
![5. ЗАКОН ОБЩЕЙ ИНВЕРСИИ (ЗАКОНЫ ДЕ МОРГАНА). Для логического сложения: AvB =](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/310588/slide-5.jpg)
умножения:
A&B = AvB
Слайд 76. ЗАКОНЫ ИДЕМПОТЕНТНОСТИ.
Для логического сложения:
AvA = A
Для логического умножения:
A&A = A
Закон означает
![6. ЗАКОНЫ ИДЕМПОТЕНТНОСТИ. Для логического сложения: AvA = A Для логического умножения:](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/310588/slide-6.jpg)
отсутствие показателей степени.
Слайд 87. ЗАКОНЫ ИСКЛЮЧЕНИЯ КОНСТАНТ.
Для логического сложения:
Av1 = 1, Av0 = A
Для логического
![7. ЗАКОНЫ ИСКЛЮЧЕНИЯ КОНСТАНТ. Для логического сложения: Av1 = 1, Av0 =](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/310588/slide-7.jpg)
умножения:
A&1 = A, A&0 = 0
Слайд 98. ЗАКОН ПРОТИВОРЕЧИЯ.
A&A = 0
Невозможно, чтобы противоречащие высказывания были одновременно истинными.
![8. ЗАКОН ПРОТИВОРЕЧИЯ. A&A = 0 Невозможно, чтобы противоречащие высказывания были одновременно истинными.](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/310588/slide-8.jpg)
Слайд 109. ЗАКОН ИСКЛЮЧЕНИЯ ТРЕТЬЕГО.
AvA = 1
Из двух противоречащих высказываний об одном и
![9. ЗАКОН ИСКЛЮЧЕНИЯ ТРЕТЬЕГО. AvA = 1 Из двух противоречащих высказываний об](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/310588/slide-9.jpg)
том же предмете одно всегда истинно, а второе – ложное, третьего не надо.
Слайд 1110. ЗАКОН ПОГЛОЩЕНИЯ.
Для логического сложения:
Av(A&B) = A
Для логического умножения:
A&(AvB) = A
![10. ЗАКОН ПОГЛОЩЕНИЯ. Для логического сложения: Av(A&B) = A Для логического умножения: A&(AvB) = A](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/310588/slide-10.jpg)
Слайд 1211. ЗАКОН ИСКЛЮЧЕНИЯ (СКЛЕИВАНИЯ).
- Для логического сложения:
(A&B)v(A&B) = B
- Для логического
![11. ЗАКОН ИСКЛЮЧЕНИЯ (СКЛЕИВАНИЯ). - Для логического сложения: (A&B)v(A&B) = B -](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/310588/slide-11.jpg)
умножения:
(AvB)&(AvB) = B
Слайд 1312. ЗАКОН КОНТРАПОЗИЦИИ (ПРАВИЛО ПЕРЕВЁРТЫВАНИЯ).
(A⟺B) = (B⟺A)
![12. ЗАКОН КОНТРАПОЗИЦИИ (ПРАВИЛО ПЕРЕВЁРТЫВАНИЯ). (A⟺B) = (B⟺A)](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/310588/slide-12.jpg)