中山大学2012年计算机考研复试试题（回忆版）
1．求主析取范式 (pV(q∧r))-> (p Vq V r) ┐
2．求前束范式， 具体式子记不清了，记住规则，一步一步来就没问题。
……
更多内容，点击附件下载查看。