離散實(shí)驗(yàn)報(bào)告(共21頁)

1、精選優(yōu)質(zhì)文檔-傾情為你奉上離散實(shí)驗(yàn)報(bào)告 專業(yè)：數(shù)學(xué)與應(yīng)用數(shù)學(xué) 班級： 學(xué)號：姓名：張鼎珩日期：2011.06.23實(shí)驗(yàn)內(nèi)容：實(shí)驗(yàn)一 真值計(jì)算實(shí)驗(yàn)二 兩個(gè)集合運(yùn)算實(shí)驗(yàn)三 關(guān)系閉包計(jì)算實(shí)驗(yàn)四 關(guān)系與函數(shù)進(jìn)行試驗(yàn)：實(shí)驗(yàn)一 真值計(jì)算一、 實(shí)驗(yàn)?zāi)康氖煜ぢ?lián)結(jié)詞合取、析取、條件和雙條件的概念，編程求其真值。二、 實(shí)驗(yàn)內(nèi)容(1) 求任意一個(gè)命題公式的真值表：從鍵盤輸入兩個(gè)命題 P 和 Q 的真值，求它們的合取、析取、蘊(yùn)含和等價(jià)的真值(2) 利用真值表求任意一個(gè)命題公式的主范式(3) 利用真值表進(jìn)行邏輯推理三實(shí)驗(yàn)程序：#include<stdio.h>/*標(biāo)準(zhǔn)輸入輸出頭文件*/#include<

2、;stdlib.h>/*該文件包含了的C語言標(biāo)準(zhǔn)庫函數(shù)的定義*/#include<string.h>/*字符串?dāng)?shù)組的函數(shù)定義的頭文件*/#include<conio.h>/*通用輸入輸出庫*/#include<math.h>#define N 50 void jisuan();void zhenzhibiao();void panduan(int bN,int f);int tkh (char szN, char ccuN, int icuN, int h0);int fkh (char szN, char ccuN, int icuN, int h0

3、);main()int a1;start: doprintf(" 1.求P、Q的合取、析取、條件和雙條件的真值n 2.求任意一個(gè)命題公式的真值表，并根據(jù)真值表求主范式n 3.退出n");printf("n選擇功能選項(xiàng):");fflush(stdin);/*清空輸入緩沖區(qū)，通常是為了確保不影響后面的數(shù)據(jù)讀取*/scanf("%d",&a1);switch(a1)/*switch語句實(shí)現(xiàn)選擇功能*/ case 1:system("cls");jisuan();break;/*功能A*/case 2:system

4、("cls");fflush(stdin);zhenzhibiao();break;/*功能BC*/case 3:system("exit");exit(0);/*結(jié)束整個(gè)程序的運(yùn)行*/default:system("cls");goto start;/*控制流轉(zhuǎn)移到start處*/ while(1);void jisuan()/*功能A*/char p,q,t,ch;int p1,q1;dostart:fflush(stdin);printf("請輸入P和Q的真值(T或F):");scanf("%c,%

5、c",&p,&q);if(p='F'|p='f'|p='T'|p='t')&&(q='F'|q='f'|q='T'|q='t')if(p='F'|p='f')/*賦值*/p1=0;elsep1=1;if(q='F'|q='f')q1=0;elseq1=1;if(p1|q1)/*計(jì)算*/t='T'elset='F'printf(&qu

6、ot;P析取Q為:%cn",t);if(p1&q1)t='T'elset='F'printf("P和取Q為:%cn",t);if(!p1)|q1)t='T'elset='F'printf("P條件Q為:%cn",t);if(p1=q1)t='T'elset='F'printf("P雙條件Q為:%cn",t);elseprintf("請按正確格式輸入!n");goto start;printf("

7、;是否繼續(xù)輸入?Y/N");fflush(stdin);ch=getch();system("cls");while(ch!='n'&&ch!='N');void zhenzhibiao()/*功能BC*/int i1,i2,d=1,icuN,kh=0,jg,j=0,h0;int bj=0,hqN,h=0,x=0,xqN;char szN,ccuN,sz0N;hq0=-1;xq0=-1;printf("請輸入一個(gè)合法的命題公式(可含與或非及括號):n");gets(sz);strcpy(sz0,s

8、z);for(i1=0;i1<strlen(sz);i1+)if(szi1=')' | szi1='(')kh+;if(szi1>='a' && szi1<='z' | szi1>='A' && szi1<='Z') for(i2=0;i2<j;i2+) /*判斷并儲(chǔ)存變量*/if(ccui2=szi1)d=0;if(d=1)ccuj=szi1;j+;d=1; printf("n該式子中的變量個(gè)數(shù)為：%dn",j

9、);h0=j; printf("n輸出真值表如下：n n"); for(i1=0;i1<h0;i1+)printf(" %c ",ccui1); printf(" ");puts(sz);printf("n"); for(i1=0;i1<j;i1+) /*先將所有的變量賦值為零*/icui1=0;for(i2=0;i2<j;i2+)printf(" %d ",icui2);jg=tkh(sz,ccu,icu,h0); if(jg=0)hqh+=bj;else xqx+=bj;

10、printf(" -> %dn",jg);strcpy(sz,sz0); for(i1=0;i1<(int)pow(2,j)-1;i1+)+bj;panduan(icu,0); /*賦值變量*/jg=tkh(sz,ccu,icu,h0); if(jg=0)hqh+=bj;else xqx+=bj; strcpy(sz,sz0); /*恢復(fù)被修改的數(shù)組*/for(i2=0;i2<j;i2+)printf(" %d ",icui2);printf(" -> %dn",jg); if(hq0=-1)printf(&q

11、uot;n該命題公式不存在主合取范式。n");else printf("n該命題公式的主合取范式：nt");for(i1=0;i1<h;i1+)printf("M(%d) ",hqi1); if(xq0=-1)printf("n該命題公式不存在主析取范式。n");elseprintf("nn該命題公式的主析取范式：nt");for(i1=0;i1<x;i1+)printf("m(%d) ",xqi1);printf("n"); getch();syste

12、m("cls");fflush(stdin);void panduan(int bN,int f) /* 二進(jìn)制賦值*/ int i;i=f;if(bf=0)bf=1;elsebf=0;panduan(b,+i); int tkh (char szN,char ccuN,int icuN,int h0)int i,j,h,s,kh=0,wzN,a; char xs1N,ckhN; /*xs1用來保存括號內(nèi)的字符 ckh用來保存括號*/s=strlen(sz);for(i=0;i<s;i+)if(szi='(' | szi=')')wzk

13、h=i;ckhkh=szi;kh+;if(kh=0)return fkh(sz,ccu,icu,h0);elsefor(i=0;i<kh;i+)if(ckhi=')')break;for(j=wzi-1+1,h=0;j<wzi;j+,h+) xs1h=szj; xs1h='0'a=fkh(xs1,ccu,icu,h0);if(a=1)szwzi-1=1;elseszwzi-1=-2;for(j=wzi-1+1;j<s+wzi-1-wzi;j+)szj=szj+wzi-wzi-1;szj='0' return tkh(sz,ccu

14、,icu,h0);int fkh(char szN,char ccuN,int icuN,int h0)int i,h=0,j=0,j1=0,j2=0,j3=0,i1,i2,p1=-1,p2=-1,s;char dtN;s=strlen(sz);if(s=1)if(sz0=-2)return 0;elsereturn 1; /*1 就是sz0的值*/else for(i=0;i<s-j;i+) /*先處理非*/if(szi='!') for(i1=0;i1<h0;i1+)if(szi+1=ccui1)p1=icui1;if(szi+1=-2)p1=0; if(p1=

15、-1)p1=szi+1; dtj+2=!p1;szi=j+2;j+;p1=0;for(i1=i+1;i1<s-j;i1+)szi1=szi1+1;p1=-1; j1=j; for(i=0;i<s-j1-2*j2;i+) /*處理與*/if(szi='&') for(i1=0;i1<h0;i1+) if(szi-1=ccui1)p1=icui1;if(szi+1=ccui1)p2=icui1;for(i2=2;i2<j+2;i2+) if(szi-1=i2) p1=dti2; if(szi+1=i2)p2=dti2;if(szi-1=-2)p1=0

16、; if(szi+1=-2)p2=0;if(p1=-1) p1=(int)(szi-1);if(p2=-1)p2=(int)(szi+1); dtj+2=p1 && p2;szi-1=j+2;j+;j2+;p1=-1;p2=-1; for(i1=i;i1<s-j1-2*j2;i1+)szi1=szi1+2;i=i-1;for(i=0;i<s-j1-2*j2-2*j3;i+) /* 處理或*/ if(szi='|')for(i1=0;i1<h0;i1+) if(szi-1=ccui1)p1=icui1;if(szi+1=ccui1)p2=icui

17、1;for(i2=2;i2<j+2;i2+) if(szi-1=i2) p1=dti2;if(szi+1=i2)p2=dti2;if(szi-1=-2)p1=0; if(szi+1=-2)p2=0;if(p1=-1)p1=szi-1;if(p2=-1)p2=szi+1;dtj+2=p1 | p2;szi-1=j+2;j+;j3+;p1=-1;p2=-1; for(i1=i;i1<s-j1-2*j2-2*j3;i1+)szi1=szi1+2;i-; return dtj+1;運(yùn)行結(jié)果：實(shí)驗(yàn)二 兩個(gè)集合運(yùn)算一、 實(shí)驗(yàn)?zāi)康募险撌且磺袛?shù)學(xué)的基礎(chǔ)，也是計(jì)算機(jī)科學(xué)不可或缺的，在數(shù)據(jù)結(jié)構(gòu)，數(shù)據(jù)

18、庫理論，開關(guān)理論，自動(dòng)機(jī)理論和可計(jì)算理論等領(lǐng)域都有廣泛的應(yīng)用。集合的運(yùn)算規(guī)則是集合論中的重要內(nèi)容。通過該組實(shí)驗(yàn)，目的是讓學(xué)生更加深刻地理解集合的概念和性質(zhì)，并掌握集合的運(yùn)算規(guī)則等。 二、 實(shí)驗(yàn)內(nèi)容(1) 求任意兩個(gè)集合的交集、并集、差集(2) 求任意一個(gè)集合的冪集(3) 求任意一個(gè)集合的所有m元子集三實(shí)驗(yàn)程序#include<stdio.h>#include<stdlib.h>typedef struct LinkList/定義結(jié)構(gòu)體類型指針char data;struct LinkList*next;LinkList;void input(LinkList*head)

19、 /定義輸入集合函數(shù)LinkList *p;char t;printf("輸入數(shù)據(jù)，按回車鍵結(jié)束：");scanf("%c",&t);while(t!='n')p=(LinkList*)malloc(sizeof(struct LinkList);p->data=t;p->next=head->next;head->next=p;scanf("%c",&t);void output(LinkList*head)/定義輸出集合函數(shù)LinkList *p;p=head->nex

20、t;while(p!=NULL)printf("%c ",p->data);p=p->next;printf("n");void Sort(LinkList *head)/定義排序函數(shù) LinkList *p=head->next,*q,*r; if(p!=NULL) r=p->next; p->next=NULL; p=r; while(p!=NULL) r=p->next; q=head; while(q->next!=NULL&&q->next->data<p->da

21、ta) q=q->next; /在有序表中找插入*p的前驅(qū)結(jié)點(diǎn)*q p->next=q->next; /將*p插到*q之后 q->next=p; p=r; void AND(LinkList*head1,LinkList*head2,LinkList*head3)/定義集合的并集函數(shù)LinkList *p1,*p2,*p3;p1=head1->next;while(p1!=NULL)p3=(LinkList*)malloc(sizeof(struct LinkList);p3->data=p1->data;p3->next=head3->n

22、ext;head3->next=p3;p1=p1->next;p2=head2->next;while(p2!=NULL)p1=head1->next;while(p1!=NULL)&&(p1->data!=p2->data)p1=p1->next;if(p1=NULL)p3=(LinkList*)malloc(sizeof(struct LinkList);p3->data=p2->data;p3->next=head3->next;head3->next=p3;p2=p2->next;void O

23、R(LinkList*head1,LinkList*head2,LinkList*head3)/定義集合的交集函數(shù)LinkList*p1,*p2,*p3;p1=head1->next;while(p1!=NULL)p2=head2->next;while(p2!=NULL)&&(p2->data!=p1->data)p2=p2->next;if(p2!=NULL)&&(p2->data=p1->data)p3=(LinkList*)malloc(sizeof(struct LinkList);p3->data=p1

24、->data;p3->next=head3->next;head3->next=p3;p1=p1->next;void differ(LinkList*head1,LinkList*head2,LinkList*head3)/定義集合的差集函數(shù)LinkList*p1,*p2,*p3;p1=head1->next;while(p1!=NULL)p2=head2->next;while(p2!=NULL)&&(p2->data!=p1->data)p2=p2->next;if(p2=NULL)p3=(LinkList*)m

25、alloc(sizeof(struct LinkList);p3->data=p1->data;p3->next=head3->next;head3->next=p3;p1=p1->next;main()/主函數(shù) int j;LinkList *head1,*head2,*head3;head1=(LinkList*)malloc(sizeof(struct LinkList);head1->next=NULL;head2=(LinkList*)malloc(sizeof(struct LinkList);head2->next=NULL;hea

26、d3=(LinkList*)malloc(sizeof(struct LinkList);head3->next=NULL;printf("請輸入集合A：n");input(head1);/調(diào)用輸入集合函數(shù)printf("請輸入集合B：n");input(head2);/調(diào)用輸入集合函數(shù) /Sort(head1); /Sort(head2); / printf("有序集合A ");output(head1);printf("n"); / printf("有序集合B ");output(he

27、ad2);printf("n"); printf("請選擇您要執(zhí)行的操作：.求并集.求交集.求差集.退出n"); scanf("%d",&j); switch(j) case 1: printf("集合與集合的并集"); AND(head1,head2,head3);/調(diào)用并集函數(shù) Sort(head3); output(head3); break; case 2: printf("集合與集合的交集"); OR(head1,head2,head3);/調(diào)用交集函數(shù) Sort(head3)

28、; output(head3); break; case 3: printf("集合與集合的差集"); differ(head1,head2,head3);/調(diào)用差集函數(shù) Sort(head3); output(head3); break; case 0: break; system("pause"); 運(yùn)行結(jié)果：實(shí)驗(yàn)三 關(guān)系與函數(shù)一、 實(shí)驗(yàn)?zāi)康暮瘮?shù)是集合論中的一個(gè)十分重要的概念通過該組實(shí)驗(yàn)，目的是讓學(xué)生更加深刻地理解函數(shù)的概念和性質(zhì)，并掌握函數(shù)性質(zhì)的判定等。二、 實(shí)驗(yàn)內(nèi)容判斷任意一個(gè)關(guān)系是否為函數(shù)，若是函數(shù)，判定其是否為單射，滿射或雙射。三實(shí)驗(yàn)程序：#

29、include<stdio.h> #include<stdlib.h> #include<string.h>/此程序是用來證實(shí)A-B（A，B是集合）在函數(shù)f上是哪種函數(shù)的程序。 int main()int i,j;int anum,bnum,x,y,tt,aa1010;/anum，bnum分別表示A，B集合中元素的個(gè)數(shù)， /aa用來存儲(chǔ)A集合中的內(nèi)容 bool bb1010,flag1,flag2;/bbi用來表示B集合中有i元素，flag1用來表示 /是否為滿射，flag2用來表示是否是單射 int bbnum1010;/用來記錄有幾個(gè)A中的元素可以推得B

30、bbnumi中的元素i memset(bb,false,sizeof(bb);memset(bbnum,0,sizeof(bbnum);scanf("%d%d",&anum,&bnum);for(i=1;i<=anum;i+)/輸入A中元素 scanf("%d",&x);aai=x;for(i=1;i<=bnum;i+)/輸入B中元素 scanf("%d",&x);bbx=true;for(i=1;i<=anum;i+)y=aai*5+1;/這里是對A中的元素進(jìn)行函數(shù)運(yùn)算，在程序中自己

31、設(shè)置，/你可以自己改比如改成x*x+8就可以寫成5flag1=true;flag2=true;for(i=0;i<=1000;i+)/判斷映射關(guān)系 if(bbi)if(bbnumi=0)flag1=false;elseif(bbnumi>1)flag2=false;if(flag1&&flag2)printf("雙射n");elseif(flag1&&!flag2)printf("滿射n");elseif(!flag1&&flag2)printf("單射n");else printf("不是函數(shù)n"); system("pause");四運(yùn)行結(jié)果：實(shí)驗(yàn)四 關(guān)系閉包計(jì)算一、 實(shí)驗(yàn)?zāi)康年P(guān)系是集合論中的一個(gè)十分重要的概念，關(guān)系性質(zhì)的判定是集合論中的重要內(nèi)容。通過該組實(shí)驗(yàn)，目的是讓學(xué)生更加深刻地理解關(guān)系的概念和性質(zhì)，并掌握關(guān)系性質(zhì)的判定等。熟悉 Warshall 算法，掌握求關(guān)系的自反閉包、對稱閉包和傳遞閉包的方法。二、 實(shí)驗(yàn)內(nèi)容判斷任意一個(gè)關(guān)系是否為自反關(guān)系，對稱關(guān)系，傳遞關(guān)系和等價(jià)關(guān)系。若是等價(jià)關(guān)系，求出其