查看原题
求解 $((P \vee Q) \wedge \neg(\neg P \wedge(\neg Q \vee \neg R)))$ $\vee(\neg P \wedge \neg Q) \vee(\neg P \wedge \neg R)$ 的公式类型？（永真、永假、可满足? )
                        
不再提醒