公式等价的充要条件

$G=H$ 的充要条件是 $G\leftrightarrow H$ 是永真公式

可判定性