C++版本的看这个链接：

【离散数学】C++语言实现利用真值表法求主析取范式和主合取范式_zhtstar的博客-CSDN博客https://blog.csdn.net/weixin_56319483/article/details/128489182?spm=1001.2014.3001.5501

Python版本的看这个链接：

【离散数学】Python语言实现利用真值表法求主析取范式和主合取范式https://blog.csdn.net/weixin_56319483/article/details/128488744?spm=1001.2014.3001.5501

实验内容：

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

实验要求：

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

先复习一下基本概念：或者直接跳到下面看源代码

1.主合取范式：若干个极大项的合取（交集）。例如：

2.主析取范式：若干个极小项的析取（并集）。例如：

3.极大项：就是包含全部数目的命题变元的析取表达式。例如：p∨¬q∨r

4.极小项：包含全部数目的命题变元的合取表达式。例如：¬p∧¬q∧r

Java实现 源代码如下：