南京邮电大学实验一真值表法求主析取范式和主合取范式代码 离散数学 实 验 一利用真值表法求取主析取范式以及主合取范式的实现 实验名称：利用真值表法求取主析取范式以及主合取范式的实现 实验目的：通过编程实现主析取范式以及主合取范式的真值表求法以巩固相关理论的掌握 实验类型：验证 实验学时：4 实验环境：Windows+VC 从屏幕输入含三个以内变量的合式公式（其中联结词按照从高到底的顺序出现） 可用字符数组a记录输入的合式公式 如：输入PQPQ ！表示；&表示；|表示；>表示；-表示 规范列出所输合式公式的真值表 多重循环显示真值表（1表示T，0表示F，先1后0） P Q A 1 1 ？ 将赋值代入公式（可用数组b记录与a中变量对应的赋值） b[0/2/4/6]=-1, b[1/5]=P值, b[3/7]=Q值 从左往右计算（用switch a[i] case对运算符进行处理） ：b[i+1]=! b[i+1] ：b[i+1]=b[i-1] && b[i+1]

范式 合取 析取 蕴含 等价 1． 消除等价式 2． 消除蕴含式 3． 化简否定式 4． 去掉多余的括号 5． 化简成为合取范式 6． 判断是否有互补对，是否为永真式

求合取、析取、条件、双条件的程序-C语言

属性约简是粗糙集理论的核心问题之一,针对求取决策表所有决策约简集的NP问题,化繁为简将问题转化为对象动态增加下的决策约简求取问题。在深入分析了可辨识矩阵中可辨识集的特点及相互关系的基础上,优化改进决策辨识矩阵:①两对象之间不作逆向比较;②将决策可辨识矩阵列简化为属性等价类;③正域等价类作为决策可辨识矩阵的行,分情况给出了新决策表求取所有决策约简集的极小析取范式属性约简方法。该方法统一解决了相容和不相容决策表所有决策约简集的求取问题,最后通过实例分析验证了算法的可行性与有效性,为决策表的属性约简提供了一条高

研究生人工智能课的作业，主合取范式转主析取范式，敲了四五个小时，亲测可用，python版本的，两个文件，ipynb用anaconda可直接运行，txt的复制到编译器可直接运行，注释详细，需要的自取

这是我门上机作业,有个同学做的很好,拿来和大家分享,希望对大家有益^

包里有两个类，每个类为一个单独的主析取范式。

通过代码编译出的程序帮助用户求出其输入的命题公式的真值表以及主析取范式和主合取范式。 要求：能够列出含三个以内变量的合式公式的真值表，并给出相应的主析取和主合取范式。

应用主析取范式分析和解决实际问题 例2.12　某科研所要从3名科研骨干A,B,C中挑选1～2名出国进修。由于工作原因，选派时要满足以下条件： (1)若A去，则C同去。 (2)若B去，则C不能去。 (3)若C不去，则A或B可以去。 问应如何选派他们去？ 分析： (1) 将简单命题符号化 (2) 写出各复合命题 (3) 写出由(2)中复合命题组成的合取式（前提） (4) 将(3)中公式化成析取式（最好是主析取范式） (5) 这样每个小项就是一种可能产生的结果。 去掉不符合题意的小项，即得结论。

用于从pcap文件中析取所有TCP会话与UDP会话，主要讲述算法的组成。