Слайд 2№1. Основные понятия алгебры логики
Дайте определение приведённым справа терминам.
Логика
Алгебра логики
Формы мышления (виды)
Умозаключение
![№1. Основные понятия алгебры логики Дайте определение приведённым справа терминам. Логика Алгебра](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/971368/slide-1.jpg)
(виды)
Слайд 3№2. Последовательность логических операций
Определить последовательность выполнения логических операций
Эквивалентность
Инверсия
Дизъюнкция
Импликация
Конъюнкция
![№2. Последовательность логических операций Определить последовательность выполнения логических операций Эквивалентность Инверсия Дизъюнкция Импликация Конъюнкция](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/971368/slide-2.jpg)
Слайд 4№3. Сопоставление предложений по заданному условию (конъюнкция, эквивалентность, дизъюнкция)
Ира купила интересную книгу
И
![№3. Сопоставление предложений по заданному условию (конъюнкция, эквивалентность, дизъюнкция) Ира купила интересную](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/971368/slide-3.jpg)
достаточно в кипящей воде
Завтра будет облачная
И в тот же вечер прочитала её
Или солнечная погода
Варить сосиски необходимо
Слайд 5№4. Соответствие между логическими операциями и логическими схемами.
Импликация
Конъюнкция
Эквивалентность
ABF
000
010
100
111
![№4. Соответствие между логическими операциями и логическими схемами. Импликация Конъюнкция Эквивалентность ABF 000 010 100 111](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/971368/slide-4.jpg)
Слайд 6№5. Запись предложений на языке булевой алгебры
Сосед начал ремонт и долго не
![№5. Запись предложений на языке булевой алгебры Сосед начал ремонт и долго](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/971368/slide-5.jpg)
мог его закончить.
Если две точки прямой лежат в плоскости, то все точки прямой лежат в этой плоскости.
Оскорбление человека равносильно унижению самого себя.
Слайд 7№6. Построение таблиц истинности для выражений, содержащих 1 операцию
A & B
C →
![№6. Построение таблиц истинности для выражений, содержащих 1 операцию A & B](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/971368/slide-6.jpg)
N
K | X
¬ S
D ≡ M
Слайд 8№7 Построение таблиц истинности для выражений, содержащих несколько операций
¬ S → A
![№7 Построение таблиц истинности для выражений, содержащих несколько операций ¬ S →](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/971368/slide-7.jpg)
& M
K | X ≡ D