文件名称:判断公式类型-2014091522053249
文件大小:477KB
文件格式:PPT
更新时间:2024-04-13 04:28:46
java
判断公式类型 (2) (pq)(qp) (pq)(qp) (蕴涵等值式) (pq)(pq) (交换律) 1 重言式 (3) ((pq)(pq))r) (p(qq))r (分配律) p1r (排中律) pr (同一律) 可满足式,101和111是成真赋值,000和010等是成假赋值.