实现利用真值表求主析取范式

针对给定的包含任意个变量的真徝表编程实现用真值表法求取其所对应的主析取范式和主合取范式。

能够掌握通过真值表求取相应主析取和主合取范式的方法及原理

* Function: 針对给定的包含任意个变量的真值表,编程实现用真值表法求取其所对应的主析取范式和主合取范式


[离散数学是现代数学的一个重要分支,计算机科学与技术一级学科的核心课程是整个计算机学科的专业基础课。离散数学是以研究离散量的结构和相互间的关系为主要目標其研

针对给定的包含任意个变量的真徝表编程实现用真值表法求取其所对应的主析取范式和主合取范式。

能够掌握通过真值表求取相应主析取和主合取范式的方法及原理

* Function: 針对给定的包含任意个变量的真值表,编程实现用真值表法求取其所对应的主析取范式和主合取范式


(p←→q)∧(﹁rVs)命题公式实现利用嫃值表求主析取式pV(q←→r)用真值表求命题公式的主合取范式... (p←→q)∧(﹁rVs)命题公式实现利用真值表求主析取式
pV(q←→r)用真值表求命题公式的主合取范式

检查为假的赋值变元取反,得到主合取范式:

你对这个回答的评价是

我要回帖

更多关于 实现利用真值表求主析取 的文章

 

随机推荐