对一个重言式使用代入规则后仍为一个重言式,对一个可满足式和一个矛盾式,使用代入规则后,结果如何?对重言式、可满足式和矛盾式,使用替换规则后,结果如何? 规则 可满足 代入 发布时间:2024-04-02 10:34:30