Слайд 2
![Логические выражения называются равносильными, если их истинностные значения совпадают при](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/360843/slide-1.jpg)
Логические выражения называются равносильными, если их истинностные значения совпадают при любых
значениях, входящих в них логических переменных.
Пример. A∨B∨C = A∨(B∨C)
Слайд 3
![Законы логики](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/360843/slide-2.jpg)
Слайд 4
![Законы логики](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/360843/slide-3.jpg)
Слайд 5
![Примеры: 0 1 B - тождественно-истинная функция - тождественно-ложная функция](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/360843/slide-4.jpg)
Примеры:
0
1
B
- тождественно-истинная функция
- тождественно-ложная функция
Слайд 6
![Законы логики](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/360843/slide-5.jpg)
Слайд 7
![Законы логики закон инверсии (закон де Моргана)](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/360843/slide-6.jpg)
Законы логики
закон инверсии (закон де Моргана)
Слайд 8
![Законы логики закон исключения (склеивания) закон поглощения](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/360843/slide-7.jpg)
Законы логики
закон исключения (склеивания)
закон поглощения
Слайд 9
![Законы логики закон контрапозиции (правило перевертывания) Замена операции импликации и эквивалентности - конъюнкцией, дизъюнкцией и инверсией.](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/360843/slide-8.jpg)
Законы логики
закон контрапозиции (правило перевертывания)
Замена операции импликации и эквивалентности -
конъюнкцией, дизъюнкцией и инверсией.