Презентация "Законы логики и правила преобразования логических выражений"

Подписи к слайдам:
Законы логики и правила преобразования логических выражений

а) F = (A B) C

б) F = (A B) (B C)

A

B

C

B

A B

(A B) C

0

0

0

1

0

0

0

0

1

1

0

1

0

1

0

0

0

0

1

0

0

1

0

0

0

1

1

0

0

1

1

0

1

1

0

1

1

1

0

0

1

1

1

1

1

0

1

1

A

B

C

A B

B C

(B C)

(A B) (B C)

(A B) (B C)

Формула имеет нормальную форму, если в ней отсутствуют знаки эквивалентности, импликации и двойного отрицания, при этом знаки отрицания находятся только при логических переменных.

А В

б) F = (A B) (B C)

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

Закон тождества

А ≡ А

Закон не противоречия

Закон исключения третьего

Закон двойного отрицания

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

Правила преобразования логических выражений

Закон коммутативности

Логическое умножение

Логическое сложение

Закон ассоциативности

Логическое умножение

Логическое сложение

Закон дистрибутивности

умножения относительно сложения

сложения относительно умножения

Правило идемпотенции (равносильности)

Логическое умножение

Логическое сложение

Свойства констант

Формулы склеивания

Формулы поглощения