class="ikqb_img" src="http://c.hiphotos.baidu.com/zhidao/wh%3D600%2C800/sign=fb54f22d6e81800a6eb0810881051fc2/cb8065380cd79123bdd19fd6af345982b2b7805a.jpg" esrc="http://c.hiphotos.baidu.com/zhidao/wh%3D450%2C600/sign=96328fa731fa828bd17695e7c82f6d02/
来源:学生作业帮助网 编辑:作业帮 时间:2024/11/09 09:53:55
class="ikqb_img" src="http://c.hiphotos.baidu.com/zhidao/wh%3D600%2C800/sign=fb54f22d6e81800a6eb0810881051fc2/cb8065380cd79123bdd19fd6af345982b2b7805a.jpg" esrc="http://c.hiphotos.baidu.com/zhidao/wh%3D450%2C600/sign=96328fa731fa828bd17695e7c82f6d02/
class="ikqb_img" src="http://c.hiphotos.baidu.com/zhidao/wh%3D600%2C800/sign=fb54f22d6e81800a6eb0810881051fc2/cb8065380cd79123bdd19fd6af345982b2b7805a.jpg" esrc="http://c.hiphotos.baidu.com/zhidao/wh%3D450%2C600/sign=96328fa731fa828bd17695e7c82f6d02/cb8065380cd79123bdd19fd6af345982b2b7805a.jpg" />
class="ikqb_img" src="http://c.hiphotos.baidu.com/zhidao/wh%3D600%2C800/sign=fb54f22d6e81800a6eb0810881051fc2/cb8065380cd79123bdd19fd6af345982b2b7805a.jpg" esrc="http://c.hiphotos.baidu.com/zhidao/wh%3D450%2C600/sign=96328fa731fa828bd17695e7c82f6d02/
利用蕴涵等值式进行等值演算,
P∨(┐Q→(Q∨(┐Q→R))) <=> P∨(Q∨(Q∨(Q∨R))) <=> P∨Q∨R <=> M0,这就是主合取范式.由此可得主析取范式是m1∨m2∨m3∨m4∨m5∨m6∨m7.