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

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

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

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

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

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

«Логика высказываний» - Определите значение высказывания (истина или ложь): 1)Без труда не выловишь и рыбку из пруда. 2)Как хорошо быть генералом! 3)Революция может быть мирной и немирной. Но идея Лейбница оказалась неподтвержденной, так как до сих пор не найден способ свести человеческое мышление к некоторому математическому исчислению.

«Законы алгебры логики» - — Для логического умножения: А=А Закон непротиворечия: высказывание не может быть одновременно истинным и ложным. Закон тождества: всякое высказывание тождественно самому себе. 1. Закон двойного отрицания. — Для логического сложения: Закон исключения (склеивания). Логические законы и правила преобразования логических выражений.

«Таблица истинности» - Пример 8. Пончик, Ленчик и Батончик нашли клад. Решение: (90 < X2) ? (X < (X – 1)) = 1 Из таблицы истинности импликации 1 ? 1 = 1 0 ? 1 = 1 0 ? 0 = 1 X < (X – 1) = 0 для всех X, следовательно (90 < X2) = 0 если 90 =>X2 -?90<=x<=+?90 Ответ: x = 9. Виноват Батончик. Решение: (50<X2)?(50>(X+1)2) = 1 Из таблицы истинности импликации (X2>50) = 1 (X+1)2 < 50 = 1 x<-?50 или x>?50 -?50< (x+1) <?50 (-?; -7) U(7;+?) [-8; 6) [-8; -7) (X2>50) = 0 (X+1)2 < 50 = 1 [-7; 7] [-8; 6) [-7; 6) (X2>50) = 0 (X+1)2 < 50 = 0.

«Законы логики» - Профессор математики в университетском колледже в Лондоне. Воспользуемся (¬(A?B)=A& ¬ B). Пикока, Морган в 1841-1847гг. опубликовал ряд работ по основам алгебры. Применим (Аv 1= 1 ) и получим ответ: B&(1vC)vA&C=BvA&C. Один из основателей формальной алгебры. №2 Упростите выражение: F = ¬(X&Yv ¬(X&Y)).

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

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

Алгебра

35 тем