利用常用的逻辑等价式证明：
逻辑
已帮助 人
利用常用的逻辑等价式证明：(P ∨ ((P∧(P ∨~Q)) ∧ ~Q)) ∧ (Q →(Q∧~P)) ≡ (P ∧ ~Q)
Fatal error: Uncaught [XSErrorException] ../../xunsearch/sdk/php/lib/XS.php(2563): fsockopen(): unable to connect to localhost:8384 (Connection refused)(2) thrown in /www/xunsearch/sdk/php/lib/XS.php on line 560