Логические законы и правила преобразования логических выражений A A=0 Соловьева О. А. (A+B)= A B A+ A=1. - презентация

1 Логические законы и правила преобразования логических выражений A A=0 Соловьева О. А. (A+B)= A B A+ A=1

2 Закон тождества Всякое высказывание тождественно самому себе Соловьева О. А.

3 Закон противоречия Высказывание не может быть одновременно истинным и ложным Соловьева О. А.

4 Закон исключающего третьего Высказывание может быть либо истинным, либо ложным, третьего не дано Соловьева О. А.

5 Закон двойного отрицания Инволюция - при двойном отрицании некоторого высказывания, получим исходное высказывание Соловьева О. А.

6 Законы Моргана Соловьева О. А. Закон общей инверсии

7 Законы коммутативности Соловьева О. А. В алгебре высказываний можно менять местами логические переменные при операциях логического умножения и логического сложения

8 Законы ассоциативности Соловьева О. А.

9 Законы дистрибутивности Соловьева О. А.

10 Законы идемпотентности Соловьева О. А. Идемпотентность ( от латинских слов idem тот же самый и potens сильный; дословно равносильный)

11 Законы исключения констант Соловьева О. А.

12 Законы поглощения Соловьева О. А.

13 Преобразование импликации Соловьева О. А.