查看原题
用等值演算法证明等值式

$$
(p \rightarrow q) \wedge(p \rightarrow r) \Leftrightarrow(p \rightarrow(q \wedge r))
$$
                        
不再提醒