文件名称:离散数学数理逻辑部分习题(修改)11
文件大小:33KB
文件格式:DOCX
更新时间:2022-08-08 21:05:25
doc文档
2. 通过求主析取范式证明公式等价 3.用求主析取范式判断以下每一组公式是否等值 ⑴p(qr) 与 (pq)r ⑵p(qr) 与 (pq)r 4.构造下面推理的
文件名称:离散数学数理逻辑部分习题(修改)11
文件大小:33KB
文件格式:DOCX
更新时间:2022-08-08 21:05:25
doc文档
2. 通过求主析取范式证明公式等价 3.用求主析取范式判断以下每一组公式是否等值 ⑴p(qr) 与 (pq)r ⑵p(qr) 与 (pq)r 4.构造下面推理的