变换所有已知条件