О пользе владения формальными преобразованиями в алгебре логикистатья