Группы равносильностей

1.Основные равносильности:

2. Группа выражающая основные логические операции через другие логические операции:

Из второй группы равносильности видно, что любые формулы алгебры логики можно записать, используя лишь конъюнкцию и отрицание или дизъюнкцию и отрицание.

3. Группа, выражающая основные законы алгебры логики:

Коммутативные законы

Ассоциативные законы

Дистрибутивность конъюнкции относительно дизъюнкции

Дистрибутивность конъюнкции относительно дизъюнкции