Эквивалентность формул в алгебре логики: примеры и пояснения