若G是永真公式，则G一定是可满足公式，反之亦然。