Реферат: Логическое и функциональное программирование

Отрицания импликации:

Отметим, что эти формулы справедливы для бесконечнозначных и многозначных логик.

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

Для удобства разобьем законы на четыре группы.

Первая группа.

1. (закон коммутативности для дизъюнкции).

2.

3. (первый закон поглощения).

4. (второй закон дистрибутивности).

5. (закон идемпотентности для дизъюнкции).

Следующие пять законов получаются заменой Ù на Ú и наоборот.

1¢. (закон коммутативности для конъюнкции).

2¢. (закон ассоциативности для конъюнкции).

3¢. (второй закон поглощения).

4¢. (первый закон дистрибутивности)

5¢. (закон идемпотентности для конъюнкции).

Каждый из законов 1¢ - 5¢ называется двойственным к соответствующему закону 1 – 5.

Вторая группа

1.

2.

3.

4.

5.

6.

Третья группа

1. (закон двойного отрицания).

2.

3.

Четвертая группа

1.

2. (закон контрапозиции).

3.