Законы булевой алгебры

В презентации описаны следующие законы алгебры логики:

1) переместительный закон

2) закон повторения

3) закон нулевого множества

4) закон универсального множества

5) закон дополнительности

6) закон поглощения

7) закон поглощения с отрицанием

8) закон склеивания

9) закон де Моргана

10) закон обращения

11) закон двойного отрицания

12) сочетательный закон

13) распределительный закон

14) замена импликации и эквиваленции конъюнкцией, дизъюнкицей и отрицанием.

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

Законы булевой алгебры

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

Булева алгебра базируется на нескольких аксиомах:

Аксиомы операции отрицания

Аксиомы операции конъюнкция

Аксиомы операции дизъюнкция

1.Переместительный закон

2.Закон повторения (тавтологии)

3.Закон нулевого множества

4.Закон универсального множества

5. Закон дополнительности

6.Закон поглощения

7.Закон поглощения с отрицанием

8.Закон склеивания

9.Закон инверсии (закон де Моргана)

или после преобразования правых и левых частей

10.Закон обращения

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

12.Сочетательный закон

13.Распределительный закон

14.Замена импликации и эквивалентности