<<  Свойства констант Законы алгебры логики  >>
Законы алгебры логики

Законы алгебры логики. Идемпотентность А?А=А А&А=А Коммутативность А ? В=В ? А А&В=В&А Ассоциативность А ? (В ? С)= (А ? В) ? С А &(В & С)= (А & В) &С.

Слайд 4 из презентации «Логические законы и правила преобразования логических выражений»

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

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

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

«Алгебра высказываний» - Декарт Рене (1596-1650, фр. философ, математик). Что такое логика? Импликация -. 1. Что такое логика? Лейбниц Г.В. (1646-1716, нем. ученый и математик) -. Импликация высказываний ложна лишь в случае, когда а истинно, а в ложно. Джордж Буль (1815-1864, анл.) - основоположник мат. логики. Приоритет логических операций:

«Логические таблицы истинности» - Таблицы истинности. Таблица истинности сложного логического выражения. Заполнить таблицу истинности по столбцам. Для составления таблицы необходимо: Выяснить количество столбцов = количество переменных + количество логических операций. Установить последовательность выполнения логических операций. Как правильно составить и использовать?

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

«Правила преобразования логических выражений» - По правилу исключения констант. Логические законы и правила преобразования логических выражений. Правила преобразования. По закону исключения третьего. Решение логического уравнения. Найти значение логической переменной Х из логического уравнения Х v A v X v A = В. (Х v A) v (X v A) = В (Х & A) v (X & A) = В Х & (A v A) = В Х & 1 = В Х = В Х = В.

«Таблица истинности» - Пример 7. Каково наибольшее целое число X, при котором истинно высказывание (50<X·X)?(50>(X+1)·(X+1)) Решение: (50<X2)?(50>(X+1)2) = 1 Из таблицы истинности импликации 1 ? 1 = 1 0 ? 1 = 1 0 ? 0 = 1. Решение: Выделим простые высказывания В – ветер П – пасмурно Д - дождь. Батончик: Пончик врет.

«Функции алгебры логики» - Класс монотонных функций. Обозначения. Класс линейных функций. Наборы переменных. Дистрибутивность. Соотношение для двойного отрицания. Линейная функция. Область определения. Вычислительная сложность. Методы дискретного анализа в организационных системах. Ассоциативность операции. Индуктивное определение формулы.

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

Алгебра

35 тем