§ 4.2

Эквивалентные преобразования формул