<<  Функциональное и логическое программирование Язык лп prolog  >>
Функциональное и логическое программирование
Функциональное и логическое программирование.

Слайд 38 из презентации «Функциональное и логическое программирование»

Размеры: 720 х 540 пикселей, формат: .jpg. Чтобы бесплатно скачать слайд для использования на уроке, щёлкните на изображении правой кнопкой мышки и нажмите «Сохранить изображение как...». Скачать всю презентацию «Функциональное и логическое программирование.ppt» можно в zip-архиве размером 1978 КБ.

Алгебра логики

краткое содержание других презентаций об алгебре логики

«Булевы функции» - Принцип двойственности. Законы и тождества алгебры логики. Тождества с константами. Идемпотентность конъюнкции и дизъюнкции. Булевы функции и алгебра логики. Булевы переменные и функции. Самодвойственные булевы функции. Основные определения. Прочтение. Задание булевых функций. Функции равны. Приоритет выполнения операций.

«Логическое умножение, сложение и отрицание» - Результатом операции логического отрицания является «истина». Простые высказывания в алгебре логики. Высказывание. Логическое умножение, сложение и отрицание. Результатом операции логического сложения является «ложь». Логическое отрицание (инверсия). Компьютерный практикум. Какие значения даёт логическая операция.

«Логические высказывания» - Логическое умножение (конъюнкция). В виде формул. Таблица истинности функции логического умножения. Пример 1. Присоединение частицы «НЕ» к высказыванию называется операцией логического отрицания или инверсией. Практика. Решение задач Конспект стр.92 (импликация, эквиваленция). Таблица истинности функции логического отрицания.

«Таблица истинности» - Пример 3. Сколько различных решений имеет уравнение ((K /\L) –> (L /\ M \/ N)) = 1, где K, L, M, N – логические переменные? Пример 2. Укажите, какое логическое выражение равносильно выражению ¬(A \/ ¬ B \/ C) 1) ¬A \/ B \/ ¬C 2) A /\ ¬B /\ C 3)¬A \/ ¬B \/ ¬C 4) ¬A /\ B /\ ¬C. Сколько различных решений имеет уравнение.

«Правила преобразования логических выражений» - Упростить логическое выражение (A & В) v (A & В). (A & В) v (A & В) = А & (B v B) = A & 1 = A. Правило коммутативности А & В = В & А А v В = В v А Правило ассоциативности (А & В) & C = A & (В & C) (А v В) v C = A v (В v C) Правило дистрибутивности (А & В) v (A & C) = A & (В v C) (А v В) & (A v C) = A v (В & C).

«Упростить логическое выражение» - Логические законы и правила преобразования логических выражений. Пример 1. Упростить логическое выражение: Самостоятельная работа. правило де Моргана. По закону непротиворечия. Упростите логические выражения с учетом правильной последовательности выполнения логических операций: а)(A v ¬A) ^ B б) A ^ (A v B) ^ (C v ¬B) в) A v ¬A ^ B г)A ^ B v A^ ¬ B д)(A v B ) ^ (A v ¬ B) е)A ^ ¬B v B ^ C v ¬A ^ ¬B.

Всего в теме «Алгебра логики» 19 презентаций
Урок

Алгебра

35 тем