Равносильности, выражающие одни логические операции через другие.

2.1. - основная формула доказательства теорем существования.

2.2. .

2.3. .

2.4. .

2.5. - законы де Моргана.

2.6. .

2.7. .

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