<<  Пять замечательных классов логических функций Пять замечательных классов логических функций  >>
Пять замечательных классов логических функций

Пять замечательных классов логических функций. Теорема 3 и ее доказательство вполне аналогичны случаю теоремы 2. Определение монотонной логической функции требует введения еще одного понятия - сравнимых и несравнимых наборов аргументов. Дело в том, что свойство монотонности обязательно только для пар сравнимых наборов. Итак, два набора аргументов сравнимы, если значению каждого аргумента в каком-то из них соответствует неменьшее значение того же аргумента в другом наборе, т.е. 0 соответствует 0 или 1, а 1 - только 1. Тогда первый из этих наборов считается меньшим, чем другой. Например, наборы (0, 0, 0, 1, 0) и (0, 1, 0, 1, 0) сравнимы, причем первый меньше второго. И, наоборот, наборы (0, 0, 0, 1, 0) и (0, 1, 0, 0, 1) несравнимы, здесь для четырех аргументов выполняется условие «меньше - равно» (0 < 1 или 0 = 0), а для одного - «больше» (1 > 0).

Слайд 12 из презентации «Элементы компьютерной математики»

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

Похожие презентации

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

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

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

«Логические функции» - А={Дети любят игрушки} = {Дети НЕ любят игрушки}. 1. Табличный. F15(X, Y) = (отрицание конъюнкции). Пример1. Функция: F= x1 или x2 F= x1 v x2 F= x1 + x2. Упростите: 3. Упростим: Обозначение: А~В, А?В, А?В, А=В. Логические операции. F=A ^ B= {кит, акула, дельфин}. Обозначение: НЕ А, ?А, Инверсия. В чем состоит разница между содержанием и объемом понятия?

«Логические выражения» - Построим таблицу сложного логического выражения. Логическое следование или Импликация. Историческая справка. Цель. Например: 2*2 = 4 ( истина) Волга впадает в Чёрное море. (ложь). Содержание. 1.Логические 2. Предикаты. утверждения. Логические выражения. Пример: для сдачи экзамена необходимы знания или везение.

«Логические задачи» - У Питера – не черная, не синяя, не голубая. Учитель химии старше учителя истории, а Коршунов самый младший. Противоречие! Задача «Поезда». На каждой из трех дверей замка висят таблички с надписями. Ленчик: Пончик не виновен. В каком городе живет каждый из ребят? Логические задачи. Задача «Студенты».

«Логические законы» - Распределительный (дистрибутивный) закон. Закон общей инверсии ( законы де Моргана). Закон идемпотентности (равносильности). Закон противоречия. Закон поглощения. Переместительный (коммутативный) закон. Сочетательный (ассоциативный) закон. Двойное отрицание исключает отрицание. Закон исключения (склеивания).

Конкурсы по математике

19 презентаций о конкурсах по математике
Урок

Математика

71 тема