ad实验1+真值表判断实验指导书nq.doc

ad实验1真值表判断实验指导书nq课外实验1真值表判断实验指导书适用专业:计算机科学与技术专业、网络工程、软件工程实验类型:课后实验实验时数:4学时实验目的复合命题是由原子命题、逻辑联结词、括号组成的符号串,而原子命题是一个抽象的概念,若不指定原子命题的真值,则复合命题没有真值可言。反之,若对所有的原子命题都指定一定的真值,则复合命题就变成了一个具有确切真值的命题。将所有的这些原子命题的可能取值一一列出形成一个表格的形式,这个表格称为该复合命题的真值表。利用真值表技术和命题等价变换方法,能够求得一复合命题对应的析取范式(或合取范式),还能够判断两个复合命题是否相等,是否为重言式、矛盾式、可能式。内容要求设是原子命题P1、P2、P3、„、Pn是出现在复合命题G中的所有原子命题,指定P1、P2、P3、„、Pn一组真值,则这组真值称为G的一个赋值(可记为I)。因此,设G是一个复合命题,I是G的一个赋值,显然,G在I下有真值。由于每一个复合命题可能存在着不止一种赋值,这种赋值的个数与公式中的原子命题的个数有关。对每一个原子命题都有“真”、“假”两种不同的赋值,若有两个原子命题,按组合的方法,应有n四种不同的赋值。一般来说,若有n个原子命题,则应有2个不同的赋值。为了能直观地表示一个复合命题所有可能的赋值与复合命题在此赋值下的结果,可定义:复合命题G在其所有可能的赋值下所取真值的表,称为G的真值表(TruthTable)。本实验要求大家利用C,,语言,实现任意输入复合命题的真值表计算。一般我们将复合命题中的原子命题放在真值表的左边,将复合命题的结果放在真值表的右边。有时为了清楚起见,也可将求复合命题的中间结果也依次放在真值表中;或者将求复合命题的中间结果放在复合命题的相应的每个联结词的下方。有时也可将具有相同原子命题个数的复合命题之真值结果依次放在同一个真值表中。显然,对任何一复合命题都有一真值表。实验方式本实验开设方式为个人实验;实验思考1、利用真值表技术和命题等价转换方法,如何求得复合命题对应的析取范式(或合取),如何判断复合命题是否等价,是否为永真式、永假式、可满足式,范式参考实验报告学生姓名:学号:一、实验室名称:二、实验项目名称:真值表判断三、实验原理:设P1、P2、P3、„、Pn是出现在复合命题G中的所有原子命题,指定P1、P2、P3、„、Pn一组真值,则这组真值称为G的一个赋值(常记为I)。因此,设G是一个复合命题,I是G的一个赋值,显然,G在I下有真值。由于每一个复合命题可能存在着不止一种赋值,这种赋值的多少与公式中的原子命题的个数有关。对每一个原子命题都有“真”、“假”两种不同的赋值,若有两个原子命题,按组合的方法,n应有四种不同的赋值。一般来说,若有n个原子命题,则应有2个不同的赋值。为了能直观地表示一个复合命题所有可能的赋值与复合命题在此赋值下的结果,可定义:复合命题G在其所有可能的赋值下所取真值的表,称为G的真值表(TruthTable)。四、实验目的:公式是由命题变元、逻辑联结词、括号组成的合法的符号串,而命题变元是一个抽象的概念,若不指定命题变元的真值,则公式没有真值可言。反之,若对所有的命题变元都指定一定的真值,则公式就变成了一个具有确切真值的命题。将所有的这些命题变元的可能取值一一列出形成一个表格的形式,这个表格称为该公式的真值