Алгебра логики. Логические операции, построение таблиц истинности. Подготовка к самостоятельной работе

Содержание

Слайд 2

№1. Основные понятия алгебры логики

Дайте определение приведённым справа терминам.

Логика
Алгебра логики
Формы мышления (виды)
Умозаключение

№1. Основные понятия алгебры логики Дайте определение приведённым справа терминам. Логика Алгебра
(виды)

Слайд 3

№2. Последовательность логических операций

Определить последовательность выполнения логических операций

Эквивалентность
Инверсия
Дизъюнкция
Импликация
Конъюнкция

№2. Последовательность логических операций Определить последовательность выполнения логических операций Эквивалентность Инверсия Дизъюнкция Импликация Конъюнкция

Слайд 4

№3. Сопоставление предложений по заданному условию (конъюнкция, эквивалентность, дизъюнкция)

Ира купила интересную книгу
И

№3. Сопоставление предложений по заданному условию (конъюнкция, эквивалентность, дизъюнкция) Ира купила интересную
достаточно в кипящей воде
Завтра будет облачная
И в тот же вечер прочитала её
Или солнечная погода
Варить сосиски необходимо

Слайд 5

№4. Соответствие между логическими операциями и логическими схемами.

Импликация
Конъюнкция
Эквивалентность

ABF
000
010
100
111

№4. Соответствие между логическими операциями и логическими схемами. Импликация Конъюнкция Эквивалентность ABF 000 010 100 111

Слайд 6

№5. Запись предложений на языке булевой алгебры

Сосед начал ремонт и долго не

№5. Запись предложений на языке булевой алгебры Сосед начал ремонт и долго
мог его закончить.
Если две точки прямой лежат в плоскости, то все точки прямой лежат в этой плоскости.
Оскорбление человека равносильно унижению самого себя.

Слайд 7

№6. Построение таблиц истинности для выражений, содержащих 1 операцию

A & B
C →

№6. Построение таблиц истинности для выражений, содержащих 1 операцию A & B
N
K | X
¬ S
D ≡ M

Слайд 8

№7 Построение таблиц истинности для выражений, содержащих несколько операций

¬ S → A

№7 Построение таблиц истинности для выражений, содержащих несколько операций ¬ S →
& M
K | X ≡ D