查看原题
已知命题公式 $(\neg p \rightarrow q) \rightarrow(\neg q \vee p)$, 求主析取范式（要求通过等值演算推出）。
                        
不再提醒