离散数学实验二真值表

一、实验目的

熟悉五个真值表，掌握真值表技术。

二、实验内容

定义1 设命题变元P1、P2、P3、…、Pn是出现在公式G中的所有命题变元，指定P1、P2、P3、…、Pn 的一组真值，则这组真值称为G的一个解释或指派，常记为Ｉ。
定义2 真值表：公式G在其所有可能的解释下所取真值的表。
本实验要求从键盘输入一个命题公式列出其真值表。用C语言或MATLAB实现。

三、实验源程序及结果截图
1.实验源程序：

#include <stdio.h>
#include <stdlib.h>
#include <string.h> int a,b;int split(char* s){//只有一个数据 if(s[1]==0)switch(s[0]){case 'a':return a;case 'b':return b;} //判断第一个符号是否为左括号 int i=0;int l,r;if(s[0]!='(')//如果不是，用l暂存数据 {switch(s[0]){case 'a':l=a;break;case 'b':l=b;break;}i++;}else//如果是左括号，将左括号之后及对应的右括号之前的字符串暂存到s1中 {i++;char s1[10];int j;for(j=0;s[i]!=')';j++,i++)s1[j]=s[i];l=split(s1);//递归调用，使符号前面的数据为l printf("%c",l);}char t[10];int j,k;for(j=0,k=i+1;s[k]!=0;k++){if(s[k]!='('&&s[k]!=')')t[j++]=s[k];}t[j]=0;r=split(t);//递归调用，使符号后面的数据为r switch(s[i]){case '&':{//合取运算 if(l==1&&r==1)return 1;elsereturn 0;}case '|':{//析取运算 if(l==0&&r==0)return 0;elsereturn 1;}case '*':{//单条件运算 if(l==1&&r==0)return 0;elsereturn 1;}case '+':{//双条件运算 if(l==r)return 1;elsereturn 0;}}}
int main() {    char s[10];printf("仅支持含有两个变元的复合命题（分别用a、b表示）\n");printf("假定运算符优先级相同，输入复合命题时将联结词两端的子公式用（）括起来\n");printf("合取符号：&   析取符号： |   单条件符号：*   双条件符号：+    不支持否定\n"); printf("请输入命题公式:\n");scanf("%s",&s);printf("真值表为：\n");printf("a\tb\t%s\n",s);a=1;b=1;printf("1\t1\t%d\n",split(s));a=1;b=0;printf("1\t0\t%d\n",split(s));a=0;b=1;printf("0\t1\t%d\n",split(s));a=0;b=0;printf("0\t0\t%d\n",split(s));return 0;
}

离散数学实验二真值表相关推荐

离散实验实验二真值表
一.实验目的熟悉五个真值表,掌握真值表技术. 二.实验内容定义1 设命题变元P1.P2.P3.-.Pn是出现在公式G中的所有命题变元,指定P1.P2.P3. -.Pn的一组真值,则这组真值称为G的 ...
南京邮电大学离散数学实验二（二元关系的性质判定）
文章目录一. 实验目的和要求二.实验环境(实验设备) 三.实验原理及内容 (一)数据结构 1.全局变量: 2.函数调用关系 (二)核心代码 1.代码 2.时间复杂度为O(n2)和O(n3) (三) ...
南邮 | 离散数学实验二：集合上二元关系性质判定的实现
题目:根据某一集合元素以及关系矩阵,判断其满足什么特性,输出满足的特性,再求此集合的闭包. 举例:以集合{1,2,3,4}为例.关系矩阵为:[[1,0,1,0],[0,1,0,0],[1,0,1,1] ...
离散数学实验二实现任意集合上二元关系的性质判定
实验原理首先输入集合元素个数,再输入集合元素循环放入数组中,接着输入关系将其转换为关系矩阵,最后调用judge函数输出性质. #include<iostream> #define MAX ...
离散数学范式c语言实验报告,离散数学实验报告-利用真值表法求主析取范式及主合取范式的实现...
1.实验报告( / 学年第一学期)课程名称离散数学实验名称利用真值表法求主析取范式及主合取范式的实现实验时间年月日指导单位指导教师学生姓名班级学号学院(系)专业实验报告实验名称利 ...
离散数学实验报告三——真值表与主范式
离散数学实验报告三--真值表与主范式一.预习内容: 1.真值表:把变量的各种可能取值与想对应的函数值,用表格的形式一一列举出来,这种表格就叫做真值表 2.命题公式的析(合)取范式 ⑴文字:命题变元及 ...
C语言求幺元的函数,离散数学实验指导书及其答案.doc
实验一命题逻辑公式化简 [实验目的]加深对五个基本联结词(否定.合取.析取.条件.双条件)的理解.掌握利用基本等价公式化简公式的方法. [实验内容]用化简命题逻辑公式的方法设计一个表决开关电路. 实 ...
离散数学实验题目-集合
离散数学实验报告计算机科学与技术系目录第一章实验概述 3 1.1 实验目的 3 1.2 实验内容 3 1.3 实验环境 3 第二章实验原理和实现过程 4 2.1 实验原理 4 2.2 实验过 ...
离散数学实验3 平面图判定及对偶图的求解 C++
离散数学实验报告3 文章目录离散数学实验报告3 一.实验题目二.实验目的三.实验要求需求分析: 输入形式与输入范围概要设计: 使用的数据结构与算法: 程序流程: 详细代码调试分析调试过程 ...

离散数学实验二真值表

离散数学实验二真值表相关推荐

最新文章

热门文章

离散数学实验二 真值表

离散数学实验二 真值表相关推荐

最新文章

热门文章

离散数学实验二真值表

离散数学实验二真值表相关推荐