离散数学书验报告

实验一

一 实验内容（选作ＡＢ类）

1. 从键盘输入两个命题变元 P 和 Q 的真值，求它们的合取、析

取、条件和双条件的真值。（A）

2. 求任意一个命题公式的真值表（B，并根据真值表求主范式

（C））

二 实验目的

熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用

析取和合取的运算。此题较简单

2、实现ＢＣ类算法原理

算法逻辑如下：

（1）将二进制加法模拟器赋初值 0

（2）计算模拟器中所对应的一组真值指派下合式公式的真值。

（3）输出真值表中对应于模拟器所给出的一组真值指派及这组

真值指派所对应的一行真值。

（4）产生下一个二进制数值，若该数值等于 2

n

-1，则结束，否

则转（2）。

　　　从实验结果可以看到：当输入的数据不是逻辑值时须重新

输入，当输入符合逻辑值才能继续下去。从结果来看完全正确，由

于界面有限没有把所有结果都贴上，根据运行情况来看没有错误

六　源程序清单

１（Ａ类）

#include<stdio.h>

//#include<string.h>

main()

{

while(1)　　　　　　　／／输入符合逻辑值的命题变元Ｐ值

{

{

printf("you have input the wrong value,please reinput");

}

else break;

}

while(1)　　　　　　／／输入符合逻辑值的命题变元Ｑ值

{

printf("\ninput the logic value of the minti Q(0 or 1):");

scanf("%d",&b);

if(b!=0&&b!=1)

f=a*b+(!a)*(!b); ／／双条件式

if(c==0) ／／化为逻辑值

c=0;

else

c=1;

if(d==0)

d=0;

else

d=1;

if(e=0)

else

f=1;

printf("\nthe logic value of hequ:%d\nthe logic value of xiqu:%d\nthe

logic value of tiaojian:%d\nthe logic value of shuangtiaojian:%d\n",c,d,e,f);

g=getch

}

}

２（Ｂ类）

#include<stdio.h>

#include<stdlib.h>

#include<string.h>

#include<malloc.h>

typedef struct Node //二叉树节点结构体

char data; //存节点字符

struct Node *leftchild;//左孩子指针

}BeTreeNode;

/*typedef struct

{

char stack[30];

int top;

}SeqStack;//账的结构体*/

void print_char(BeTreeNode *root);

void prints(BeTreeNode *p);