Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.


Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

Презентация на тему Законы математической логики

Пример 1. Упростить выражение: _ X ∙ Y V X ∙ Y Воспользуемся распределительным законом: Х ∙ ( Y V Z )
Законы математической логики Пример 1. Упростить выражение: Пример 2. Упростите логическое выражение    _______________ Закрепление изученного№1Упростите выражение:F = ¬ (A&B) v ¬ (BvC).F = (A→B) v №2Упростите выражение: F = ¬(X&Yv ¬(X&Y)). F = X&¬ (YvX). F =
Слайды презентации

Слайд 2


Слайд 3 Пример 1. Упростить выражение:

Пример 1. Упростить выражение:      _

_

X ∙ Y V X ∙ Y

Воспользуемся распределительным законом:

Х ∙ ( Y V Z ) = X ∙ Y V X ∙ Z

(или вынесем общий множитель за скобку)

_ _
X ∙ Y V X ∙ Y =X ∙(Y V Y ) = Х ∙ 1 = Х



1


Слайд 4 Пример 2. Упростите логическое выражение

Пример 2. Упростите логическое выражение  _______________

_______________

______
F= (A v B)→ (B v C).

Избавимся от импликации и отрицания. Воспользуемся (¬(A→B)=A& ¬ B). Получится: ¬((AvB)→ ¬(BvC))= (AvB)& ¬ (¬(BvC)).
Применим закон двойного отрицания, получим: (A v В) & ¬(¬(В v С)) = (A v В) & (B v С).
Применим правило дистрибутивности ((A∙B) +(A∙C) = A∙(B+C)). Получим: (AvВ)& (B v С)= (AvB)&Bv(AvB)&C
Применим закон коммутативности (A&B=B&A ) и дистрибутивности Получим: (AvB)&Bv(AvB)&C = 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.
Применим (Аv 1= 1 ) и получим ответ: B&(1vC)vA&C=BvA&C.


Слайд 5 Закрепление изученного
№1
Упростите выражение:
F = ¬ (A&B) v ¬

Закрепление изученного№1Упростите выражение:F = ¬ (A&B) v ¬ (BvC).F = (A→B)

(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.

  • Имя файла: zakony-matematicheskoy-logiki.pptx
  • Количество просмотров: 135
  • Количество скачиваний: 0