Законы алгебры логики

+1

No comments posted yet

Comments

Slide 1

Законы алгебры логики Упрощение логических выражений. 26.01.2016

Slide 2

тавтология всегда истинное выражение Например, докажем, что (X & Y) → (X v Y) является тавтологией Некоторые тавтологии являются логическими законами.

Slide 3

Закон тождества Всякое высказывание тождественно самому себе

Slide 4

Закон непротиворечия Высказывание не может быть одновременно истинным и ложным. Если высказывание А — истинно, то его отрицание не А должно быть ложным. Следовательно, логическое произведение высказывания и его отрицания должно быть ложно

Slide 5

Закон исключенного третьего Высказывание может быть либо истинным, либо ложным, третьего не дано. Это означает, что результат логического сложения высказывания и его отрицания всегда принимает значение истина

Slide 6

Закон двойного отрицания Если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание

Slide 7

Законы де Моргана

Slide 8

Правило коммутативности В алгебре: ab=ba a+b = b+a

Slide 9

Правило ассоциативности В алгебре: (ab)c=a(bc) (a+b)+c =a+(b+c)

Slide 10

Правило дистрибутивности В алгебре: a(b+с)=ab+ac

Slide 11

ПОДУМАЙ

Slide 12

Упростить логическое выражение (А & В) v (A  & ¬В) РЕШИМ ЗАДАЧИ Попробуйте привлечь на помощь алгебру. = А

Slide 13

РЕШИМ ЗАДАЧИ Попробуйте привлечь на помощь алгебру. Упростить логическое выражение: = 0

Slide 14

РЕШИМ ЗАДАЧИ Попробуйте привлечь на помощь алгебру. Упростить логическое выражение: = 1

Slide 15

РЕШИМ ЗАДАЧИ Попробуйте привлечь на помощь алгебру. Упростить логическое выражение:

Slide 16

РЕШИМ ЗАДАЧИ Попробуйте привлечь на помощь алгебру. Упростить логическое выражение: Подсказка: последнее слагаемое домножить на единицу, т.е. на (у+у)

Slide 17

РЕШИМ ЗАДАЧИ Попробуйте привлечь на помощь алгебру. Упростить логическое выражение:

Slide 18

РЕШИМ ЗАДАЧИ Попробуйте привлечь на помощь алгебру. Упростить логическое выражение:

URL: