离散数学连结词逻辑运算

学    院   软件学院      专    业   软件工程      指导教师       邹丽娜     学    号   10008118      姓    名     冯立勇     

学院 软件学院 专业 软件工程 指导教师 邹丽娜 学号 10008118 姓名 冯立勇 提交日期 2011-12-25 实验一 连结词逻辑运算 一.实验目的 实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规 则，利用程序语言实现逻辑这几种逻辑运算。 二.实验内容 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、蕴涵和等价 四种运算的的真值。要求对输入内容进行分析，如果不符合0、1条件需要重新输 入，程序有良好的输入输出界面。 三. 实验过程 1. 算法分析： 说明编程语言、与四种连结词对应的运算符，或其它实现方法