查看原题
公式 $(P \vee(\neg P \wedge Q)) \wedge((\neg P \vee Q) \wedge \neg R$ 的根树表示为
                        
不再提醒