首页 您的当前位置:www.6538.com > www.6538.net >

命题公式等价的主合与范式中蕴含的极大项

发布时间:2019-11-17

  从析取范式是由极小项之和形成的,命题公式化简出来的从析取范式中包含的极小项,其下标对应的获得的命题公式的线.

  从合取范式由极大项之积形成,命题公式等价的从合取范式中包含的极大项,其对应下标该当是使对应的获得命题公式的线.

  所以,假设有三个命题変元,极小项和极大项的下标别离是0--7,若是一个命题変元的从析取范式暗示为m1或m3或m5,它的从合取范式该当是M0且M2且M4且M6且M7.