求(P∨Q)→(P∧Q)的合取范式和析取范式

2019-02-02 作者:心理学   |   浏览(165)

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  一般的教材不直接介绍范式的概念,以下属于个人理解。我觉得范式可以理解为一类结构特殊一点的合式公式或干脆称之为命题公式,说它特殊是因为它的组成部分,除了命题变项p,q,r,...外,其中的联结词组成一个联结词完备集,比如{否定,合取,析取},由此可以构造出析取范式或合取范式。这类范式可以很容易判断是永真式、永假式还是可满足式子,讨论范式的目的就是研究命题公式的简化,从而可以对命题公式进行分类。

  ﹁(p→q)∧q∧r的主析取主合取范式,以及 成线求下面公式的析取范式,合取范式,主合范式 公式:...

求(P∨Q)→(P∧Q)的合取范式和析取范式