离散数学
置换规则
已知
$A \Leftrightarrow B$
$\Phi(X)$ 为公式
则 $$ \Phi(A) \Leftrightarrow \Phi(B) $$