离散，如图求主析取范式可忽略，谢谢！

点击联系发帖人 时间：2019-06-03 12:10

析取范式

每个式子都能化成主析取范式可忽略和主合取范式

重言式是必定为真的式子也叫永真式

楼主不要混为一谈哦，呵呵

你对这个回答的评价是

}

第1章命题逻辑求命题公式的主析取范式可忽略及主合取范式

例求()()p r q p ∨?∧∨的主析取范式可忽略及主合取范式

例求(P →Q)∧R 的主析取范式可忽略及主合取范式。

例求命题公式R Q P ∨∧)(的主析取范式可忽略和主合取范式

例求公式A =(p →?q )→r 的主析取范式可忽略与主合取范式。

例求()r q p →→的主析取范式可忽略

例用等值演算法判断公式q ∧? (p →q )的类型

例判断下列命题公式的类型（永真式、永假式、可满足式），方法不限

例前提：q p s q r p ∨→→,,，结论：s r ∨该结论昰否有效？请说明原因在命题逻辑中构造下面推理的证明：

例如果小张守第一垒并且小李向B 队投球，则A 队获胜或者A 队未获胜，或者A 队荿为联赛的第一名小张守第一垒。A 队没有成为联赛的第一名因此小李没有向B 队投球。

}

//处理基本连接词的函数

//没有括号嘚表达式处理函数

//求主析取范式可忽略和主合取范式的函数
//为value_map取到所有不同真值组合的函数

--it;//如果到底了则只往回走一步释放最后一步的資源

}