本实验报告探讨了离散数学中真值表与主范式的应用。通过具体实例分析，深入理解命题逻辑中的重要概念及其相互关系，并掌握求解主析取范式和主合取范式的方法。
离散数学是计算机科学的基础课程之一，它研究的是非连续的、独立的对象。在这份实验报告里，我们将集中讨论真值表及主范式这两个概念，它们在理解命题逻辑中起着关键作用。
首先介绍什么是真值表：这是一种表格形式，用于列出命题公式所有可能的结果。一个命题公式通常由变量（如P, Q等）和连接词（例如AND、OR、NOT）组成。每个变量可以取两种状态：“0”表示假，“1”表示真。通过将所有的变元组合及其对应的逻辑运算结果展示在表格中，我们就可以得到该公式的完整意义。
接下来讨论命题公式的析取范式与合取范式：
- 析取范式（Disjunctive Normal Form, DNF）是若干简单析取式的集合。所谓“简单”，是指这些表达式仅包含有限数量的原子命题及其否定形式。
- 合取范式（Conjunctive Normal Form, CNF）则是由一系列简单的合取式构成，同样地，“简单”意味着它们只涉及有限个文字。
主析取范式和主合取范式是特殊的DNF与CNF。在这些规范中，每个变量及其否定形式最多出现一次，并且任何非矛盾的命题公式都可以被转换成唯一的这两种形式。这种转换对于解决逻辑问题以及证明公式的等价性非常有用。
实验过程中使用了编程语言（如C++）来生成和操作真值表。具体来说，程序会读取用户输入的变量及其真假状态，并根据这些信息构建出完整的真值表格。通过二进制变换技术逐行计算每个命题变元的具体值，进而得出整个公式的输出。
这样的实验不仅帮助学生深入理解离散数学中的逻辑概念，还能够提升他们编写代码和分析算法的能力。掌握这些基础知识对于后续学习编译原理、数据库理论等高级计算机科学主题至关重要。
5星
