离散实验一：真值表法求主范式

在"离散实验一"的报告中，该实验针对的是南邮（南京邮电大学）的离散数学课程，由计算机科学与技术系的罗卫兰老师指导。本实验主要集中在2015-2016学年第一学期，时间为9月22日，目的是让学生通过实践学习如何利用真值表法求取含有三个以内变量的合式公式（逻辑表达式）的主析取范式和主合取范式。这是一项验证性质的实验，共计4个实验学时。 实验环境方面，学生们使用的是个人计算机（PC机），并且借助了VC++6.0集成开发环境进行编程。实验的核心内容是编写程序，通过编程实现对任意逻辑表达式的真值表构建，并在此基础上计算其主析取范式（最简析取范式，即所有可能的子句组合）和主合取范式（最简合取范式，即所有可能的子句的交集）。函数如`panduan()`、`tkh()` 和 `fkh()` 可能用于处理逻辑操作和判断。 实验的流程包括以下步骤： 1. **实验目的和要求**：学生需熟练掌握真值表的构造方法，能够根据输入的逻辑表达式生成对应的真值表，并理解主析取范式和主合取范式的意义，将其应用于实际的逻辑表达式。 2. **实验环境**：使用PC机作为硬件平台，VC++6.0作为开发工具，这有助于学生熟悉编程环境和逻辑操作的实现方式。 3. **实验原理和内容**：主要内容围绕编写程序，通过循环结构和条件判断来模拟真值表的生成，然后根据布尔代数规则计算出每个变量的所有可能取值组合，进而得到主析取范式和主合取范式。 具体实现部分，代码示例展示了如何定义数组存储变量、常量、真值等信息，以及一系列函数调用，例如初始化变量、输入逻辑表达式、计算真值、判断函数等。通过这些步骤，学生将理论知识转化为实际操作，提高对逻辑运算的理解和编程能力。 这个实验着重于培养学生的逻辑思维能力和编程技能，让他们能够在实践中理解和掌握离散数学中的基本概念和运算规则。通过完成这个实验，学生不仅能够巩固课堂所学，还能提升问题解决和编程实践的能力。