离散数学之逻辑运算和命题公式真值表.doc_第1页
离散数学之逻辑运算和命题公式真值表.doc_第2页
离散数学之逻辑运算和命题公式真值表.doc_第3页
离散数学之逻辑运算和命题公式真值表.doc_第4页
全文预览已结束

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、 逻辑联接词的运算从键盘输入两个命题变元P和Q的真值,输出它们的合取、析取、条件、双条件和P的否定的真值。#include int main()int a,b;int hequ(int P,int Q);int xiqu(int P,int Q);int tiaojian(int P,int Q);int shuangtiaojian(int P,int Q);int Pfaoding(int P);int show(int a,int b);coutab;show(a,b);return 0;int hequ(int P,int Q)if(P=0)P=P;elseP=1;if(Q=0)Q=Q;elseQ=1;return(P&Q);int xiqu(int P,int Q)if(P=0)P=P;elseP=1;if(Q=0)Q=Q;elseQ=1;return(P|Q);int tiaojian(int P,int Q)if(P=0)P=P;elseP=1;if(Q=0)Q=Q;elseQ=1;if(P=1&Q=0) return(0);else return(1);int shuangtiaojian(int P,int Q)if(P=0)P=P;elseP=1;if(Q=0)Q=Q;elseQ=1;return(!PQ);int Pfaoding(int P)if(P=0)P=P;elseP=1;return(!P);int show(int a,int b)coutP Q PQ PQ PQ PQ Pendl;if(a=0|a=1)a=a;elsea=1;if(b=0|b=1)b=b;elseb=1;couta b hequ(a,b) xiqu(a,b) tiaojian(a,b) shuangtiaojian(a,b) Pfaoding(a)endl;return 0;2、 任意一个命题公式的真值表实现任意输入公式的真值表计算。一般我们将公式中的命题变元放在真值表的左边,将公式的结果放在真值表的右边。命题变元可用数值变量表示,合适公式的表示及求真值表转化为逻辑运算结果;可用一维数表示合式公式中所出现的n个命题变元,同时它也是一个二进制加法器的模拟器,每当在这个模拟器中产生一个二进制数时,就相当于给各个命题变元产生了一组真值指派。算法逻辑如下:(1)将二进制加法模拟器赋初值0(2)计算模拟器中所对应的一组真值指派下合式公式的真值。(3)输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。(4)产生下一个二进制数值,若该数值等于2n-1,则结束,否则转(2)。#include int main()int show();show();return 0;int hequ(int P,int Q)return(P&Q);int xiqu(int P,int Q)return(P|Q);int tiaojian(int P,int Q) if(P=1&Q=0) return(0); else return(1);int shuangtiaojian(int P,int Q)return(!PQ);int Pfaoding(int P)return(!P);int show()coutP Q R PQ PR PR (PQ)(PR)endl;for(int p=0;p2;p+)for(int q=0;q2;q+)for(int r=0;r2;r+)coutp q r hequ(p,q) h

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论