中医药大学数学实验2命题逻辑.docVIP

离散数学实验报告1．【实验2．【实验目的3．【实验内容实验 输入 !a 输出真值表如下： a !a 0 1 1 0 输入ab 输出真值表如下： a b a∧b 0 0 0 0 1 0 1 0 0 1 1 1 输入a||b 输出真值表如下： a b a∨b 0 0 0 0 1 1 1 0 1 1 1 1 输入a-b 输出真值表如下： a b a→b 0 0 1 0 1 1 1 0 0 1 1 1 输入ab (其中表示双条件) 输出真值表如下： a b a←→b 0 0 1 0 1 0 1 0 0 1 1 1 通过以下界面提示实现相应逻辑运算，列出其真值表 **************************************************************** 请选择（1—6）要进行的真值表运算： 1. 逻辑非（┌ P） 2. 合取（P∧Q） 3. 析取（P∨Q） 4. 条件（P→Q） 5. 双条件（P←→Q） 6. 继续/退出（y/n） **************************************************************** 5. 【算法描述】 列出命题公式真假值的表，通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。 6. 【源程序（带注释）】 #include stdio.h #include stdlib.h #include string.h static int a[2];//定义全局数组a[2] void main() { int luojifei();//声明逻辑非函数 int hequ();// 声明合取函数 int xiqu();//声明析取函数 int tiaojian();//声明条件函数 int shuangtiaojian();//声明双条件函数 void print();//声明打印星号函数 char n[10]; char c; print();//打印星号 loop: //loop循环开始标记 do { fflush(stdin);//清空输入缓存区，以免对后面的数据输入造成干扰 printf(请选择（1-6）要进行的真值表运算：\n\n); printf(\t1.逻辑非（┌ P）\n\t2.合取（P∧Q）\n\t3.析取（P∨Q）\n\t4.条件（P→Q）\n\t5.双条件（P←→Q）\n\t6.继续/退出（y/n）\n); print(); printf(\t提示：若想查看真值表，按提示输入：\n\t!a 查看逻辑非真值表\n\tab 查看合取真值表\n\ta||b 查看析取真值表\n\ta-b 查看条件真值表\n\tab 查看双条件真值表\n); print(); scanf(%s,n);//接收用户输入的功能序号 if (strcmp(1,n)==0) //若输入为1，进行逻辑非运算 { print(); printf(\n逻辑非结果┌ P=%d\n,luojifei());//逻辑非运算结果来自luojifei子函数的返回值 print(); fflush(stdin); system(pause); } if (strcmp(2,n)==0) //若输入为2，进行合取运算 { print(); printf(\n合取结果（P∧Q）=%d\n,hequ());//合取运算结果来自hequ子函数的返回值 print(); fflush(stdin); system(pause); } if (strcmp(