Алгебра логики Скачать
презентацию
<<  Правила преобразования логических выражений Логические законы  >>
МОРГАН Огастес де (Morgan Augustus de)
МОРГАН Огастес де (Morgan Augustus de)
Фото из презентации «Законы логики» к уроку алгебры на тему «Алгебра логики»

Автор: Лида. Чтобы познакомиться с фотографией в полном размере, нажмите на её эскиз. Чтобы можно было использовать все фотографии на уроке алгебры, скачайте бесплатно презентацию «Законы логики» со всеми фотографиями в zip-архиве размером 132 КБ.

Скачать презентацию

Законы логики

содержание презентации «Законы логики»
Сл Текст Эф Сл Текст Эф
1Законы и правила математической логики. Упрощение0 6B). Получится: ¬((AvB)? ¬(BvC))= (AvB)& ¬ (¬(BvC)).0
сложных высказываний. Устимкина Л.И. 1. Применим закон двойного отрицания, получим: (A v В)
2Основные законы алгебры логики. Устимкина Л.И. 2.0 & ¬(¬(В v С)) = (A v В) & (B v С). Применим
3Основные законы алгебры логики. Устимкина Л.И. 3.0 правило дистрибутивности ((A?B) +(A?C) = A?(B+C)).
4МОРГАН Огастес де (Morgan Augustus de). Морган0 Получим: (AvВ)& (B v С)= (AvB)&Bv(AvB)&C
Огастес (Августус) де (27.6.1806-18.3. Применим закон коммутативности (A&B=B&A ) и
1871)-шотландский математик и логик. Секретарь дистрибутивности (16). Получим: (AvB)&Bv(AvB)&C
Королевcкого астрономического общества (1847г.), член = A&BvB&BvA&CvB&C. Применим (А& A=
Лондонского королевского общества. Первый президент A) и получим: A&BvB&BvA&CvB&C=
Лондонского математического общества. Родился в Мадуре A&BvBvA&CvB&C Применим ((A&B)
(Индия). Учился в Тринити-колледж (в Кембридже). v(A&C) = A&(BvC) ), т.е. вынесем за скобки В.
Профессор математики в университетском колледже в Получим:A&BvBvA&CvB&C= B&
Лондоне. Основные труды по алгебре, математическому (Av1)vA&CvB&C. Применим (Аv 1= 1 ).
анализу и математической логике. В теории рядов описал Получим:B& (Av1) vA&CvB&C=
логарифмическую шкалу для критериев сходимости; BvA&CvB&C. Переставим местами слагаемые,
занимался теорией расходящихся рядов. Один из сгруппируем и вынесем В за скобки.
основателей формальной алгебры. Продолжая работы Дж. Получим:BvA&CvB&C = B& (1vC)vA&C.
Пикока, Морган в 1841-1847гг. опубликовал ряд работ по Применим (Аv 1= 1 ) и получим ответ:
основам алгебры. В трактате "Формальная логика или B&(1vC)vA&C=BvA&C. Устимкина Л.И. 6.
исчисление выводов необходимых и возможных" 7IV. Закрепление изученного №1 Упростите выражение:5
(1847г.), Морган некоторыми своими положениями опередил F = ¬ (A&B) v ¬ (BvC). F = (A?B) v (B?A). F =
Дж. Буля. Позднее Морган успешно изучал логику A&Cv?&C. F =?Av?Bv?CvAvBvC. Ответы: F = ¬
отношений - область, не охваченную исследованиями (A&B) v ¬ (BvC) =?Av?B. F= (A?B) v (B?A) = 1. F =
предшественников. В книге "Тригонометрия и двойная A&Cv?&C=C. F =?Av?Bv?CvAvBvC=1. Устимкина Л.И.
алгебра" (1849г.) развил мысль У. Гамильтона о 7.
распространении идей символической алгебры на 8№2 Упростите выражение: F = ¬(X&Yv ¬(X&Y)).4
исчисление комплексных величин. Благодаря этому F = ?X&¬ (?YvX). F = (XvZ) & (Xv?Z) &
комплексные величины были строго обоснованы не только (?YvZ). Ответы: F = ¬(X&Yv ¬(X&Y)) = 0. F =
геометрически, но и алгебраически. Написал много ?X&¬ (?YvX) = ?X&Y. F = (XvZ) & (Xv?Z)
исторических работ, в частности книгу "Бюджет & (?YvZ) =X&(?YvZ). Устимкина Л.И. 8.
парадоксов" (1872г.). Большой вклад внес также в 9Домашняя работа. I. Упростите логические выражения:0
дедуктивную логику вообще и математическую в частности. F = Av (?A&B). F = A& (?AvB). F = (AvB) &
Лондонское математическое общество учредило медаль им. (?BvA) & (?CvB). F = (1V (AvB)) V ((AvC) &1).
О. Моргана. Устимкина Л.И. 4. II. Дана следующая логическая схема. Упростите ее,
51. X ? Y V X ? Y =. _ X ?(Y V Y ) =. = Х ? 1 = х.11 используя минимальное количество вентилей. III. Как
Задание 1. Упростить выражение: _ X ? Y V X ? Y. составить расписание. При составлении расписания
Воспользуемся распределительным законом: Х ? ( Y V Z ) учителя высказали следующие пожелания: учитель физики
= X ? Y V X ? Z (или вынесем общий множитель за хочет иметь первый и второй урок; учитель химии -
скобку). Устимкина Л.И. 5. первый или третий; учитель информатики — второй или
6Задание 2. Упростите логическое выражение0 третий. Предложите возможные варианты расписания.
_______________ _____ F= (A v B)? (B v C). Избавимся от Устимкина Л.И. 9.
импликации и отрицания. Воспользуемся (¬(A?B)=A& ¬
9 «Законы логики» | Законы логики 20
http://900igr.net/fotografii/algebra/Zakony-logiki/Zakony-logiki.html
cсылка на страницу
Урок

Алгебра

34 темы
Фото
Презентация: Законы логики | Тема: Алгебра логики | Урок: Алгебра | Вид: Фото