|
离散数学实验二——逻辑联结词的运算
一、预习内容：
1、设P是一个命题，命题“P是不对的”称为P的否定。记以¬P,读作非P。¬P是真的当且仅当P是假的。 例如：P:上海是一个城市。¬P:上海不是一个城市。例如：P:上海是一个城市。¬P:上海不是一个城市。 2、设P，Q是两个命题，命题“P或者Q”称为P，Q的析取，记以P∨Q，读作P或Q。规定P∨Q是真的当且仅当P，Q中至少有一个是真的。 例如，P:今天下雨，Q:今天刮风，P∨Q:今天下雨或刮风。 3、设P，Q是两个命题，命题“P并且Q”称P，Q的合取，记以P∧Q,读作P且Q。规定P∧Q是真的当且仅当P和Q都是真的。 例如，P：2×2=5,Q:雪是黑的，P∧Q:2×2=5并且雪是黑的。 4、设P，Q是两个命题，命题“如果P，则Q”称为P蕴涵Q，记以P→Q。规定P→Q是假的当且仅当P是真的而Q是假的。 5、设P，Q是两个命题，命题“P当且仅当Q”称为P等价Q，记以P↔Q。规定，P↔Q是真的当且仅当P，Q或者都是真的，或者都是假的。
二、实验目的与要求（及主要实验仪器设备）：
通过实验，帮助学生更好地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。 实验环境：软件：vc++6.0 ，硬件：电脑
三、实验原理（实验方法与原理概要分析）：
（1）否定：p为1时公式值为0，否则为1； （1）合取：p，q都为1时公式值为1，其他为0； （2）析取：p，q都为0时公式值为0，其他为1； （3）蕴含：p为1，q为0时公式值为0，其他为1； （4）等价：p，q同真同假时公式值为1，其他为0。
四、实验步骤（实验过程与数据）：
#include int main() intP,Q,a.b.c.d,p,q; printf(" P的值") for(P=0;P |