离散数学真值表实验报告

离散数学实验报告

专业班级：12级计算机本部一班 姓名：鲍佳珍 学号： 201212201401016 实验成绩： 1．【实验题目】

命题逻辑实验三

2．【实验目的】

加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法。

3．【实验内容】

用化简命题逻辑公式的方法设计一个表决开关电路。

4、【实验要求】

C或C＋＋语言编程实现

5. 【算法描述】

（1）写出5人表决开关电路真值表，从真值表得出5人表决开关电路的主合取

公式（或主析取公式），将公式化简成尽可能含五个基本联结词最少的等价公式。 （2）上面公式中的每一个联结词是一个开关元件，将它们定义成C语言中的函数。

（3）输入5人表决值（同意为1，不同意为0），调用上面定义的函数，将5人表决开关电路真值表的等价公式写成一个函数表达式。

（4）输出函数表达式的结果，如果是1，则表明表决通过，否则表决不通过。

6. 【源程序（带注释）】 #include

int show(int a,int b,int c,int d,int e);//声明一个函数 int main() {

int a,b,c,d,e;

in

离散数学实验报告

专业班级：12级计算机本部一班 姓名：鲍佳珍 学号： 201212201401016 实验成绩：

1．【实验题目】

命题逻辑实验二

2．【实验目的】

熟悉掌握命题逻辑中真值表，进一步能用它们来解决实际问题。

3．【实验内容】

求任意一个命题公式的真值表

4、【实验要求】

C或C＋＋语言编程实现

5. 【算法描述】

1.实验原理

真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。 真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。

2.实验过程

首先是输入一个合理的式子，生成相应真值表，然后用函数运算，输出结果：要求可生成逻辑非、合取、析取、蕴含、双条件表达式的真值表，例如： 输入 !a

输出真值表如下：

a !a

0 1

1 0

输入a&&b

输出真值表如下：

a b a&&b

0 0 0

0 1 0

1 0 0

1 1 1

输入a||b

输出真值表如下：

离散逻辑学实验

班级：10电信实验班 学号：Q10600132 姓名：王彬彬 一、实验目的

熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。

二、实验内容

1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A）

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

三、实验环境

C或C＋＋语言编程环境实现。

四、实验原理和实现过程（算法描述）

1.实验原理

（1）合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∧Q, 读作P、Q的合取, 也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = T时方可P∧Q =T, 而P、Q只要有一为F则P∧Q = F。这样看来，P∧Q可用来表示日常用语P与Q, 或P并且Q。

（2）析取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∨Q, 读作P、Q的析取, 也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = F, Q = F时方可P∨Q =F, 而P、Q只要有一为T则P∨Q = T。这样看来，P∨Q可用

大连民族学院

计算机科学与工程学院实验报告

实验题目： 关系部分实验 课程名称： 离散数学 实验类型：□演示性 □验证性 □操作性 □设计性 ■综合性 专业： 网络工程 班级： 102 班 学生姓名：隋玉兴 学号：2010083220

实验日期：2011 年 12 月 25 日 实验地点：五机房 实验学时： 实验成绩：

指导教师签字： 年 月 日

一．实验目的

本实验课程是信息专业学生的一门专业基础课程，通过实验，帮助学生更好地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。

熟悉掌握命题逻辑

离散数学实验报告

姓名： 学号： 专业：

实验一、真值运算

一、实验内容

从键盘输入两个命题P和Q的真值，求它们的合取、析取、条件和双条件的真值，并输出。 二、实验步骤

编写程序，将P,Q以不同真值带入，观察程序运行结果，调式程序。 三、实验代码

#include int main() {

int p,q; char t; while(t) {

printf(\是否运算程序(y/n):\\n\scanf(\if('y'==t) {

printf(\输入p,q的真值(0或1):\scanf(\if((p!=1)&&(p!=0)) {

printf(\请重新输入p值\

}

scanf(\

if((q!=1)&&(q!=0)) { }

if(q==0&&p==0) { }

else if(p==0&&q==1) {

printf(\﹁p=1\\n\printf(\﹁q=0\\n\printf(\∧q=0\\n\printf(\∨q=1\\n\printf(\→q=1\\n\printf(\﹁p=1\\n\printf(\﹁q=1\\n\printf(\∧q=0\\n\p

离散数学实验报告

姓名： 学号： 专业：

实验一、真值运算

一、实验内容

从键盘输入两个命题P和Q的真值，求它们的合取、析取、条件和双条件的真值，并输出。 二、实验步骤

编写程序，将P,Q以不同真值带入，观察程序运行结果，调式程序。 三、实验代码

#include int main() {

int p,q; char t; while(t) {

printf(\是否运算程序(y/n):\\n\scanf(\if('y'==t) {

printf(\输入p,q的真值(0或1):\scanf(\if((p!=1)&&(p!=0)) {

printf(\请重新输入p值\

}

scanf(\

if((q!=1)&&(q!=0)) { }

if(q==0&&p==0) { }

else if(p==0&&q==1) {

printf(\﹁p=1\\n\printf(\﹁q=0\\n\printf(\∧q=0\\n\printf(\∨q=1\\n\printf(\→q=1\\n\printf(\﹁p=1\\n\printf(\﹁q=1\\n\printf(\∧q=0\\n\p

离 散 数 学 实 验 报 告

姓名： 学号： 班级：

离散数学实验报告

实验一 真值计算

实验内容：

从键盘输入两个命题P和Q的真值，求它们的合取、析取、条件和双条件的真值。用C语言实现。

实验源程序和运行结果如下： #include \void main() {

char p,q,t; int p1,q1;

cout<<\输入p,q的真值(F或T)\cin>>p>>q; if(p=='F') p1=0; else p1=1; if(q=='F') q1=0; else q1=1;

//下面进行为运算 if(p1|q1) t='T'; else t='F';

cout<<\析取q为\if(p1&q1) t='T'; else t='F';

cout<<\和取q为\if((!p1)|q1) t='T'; else t='F';

cout<<\条件q为\if(p1==q1) t='T'; else t='F';

cout<<\双条件q为\}

实验二 关系闭包计算

实验内容：

从键盘输入一个关系的关系矩阵，计算其自反闭包、对称闭包和传递闭包，传递闭包要求使用两种算法，即R+和Warshall算法。用C语言实现。

实验源程序运行结果如下： #include int he(int,int); void main() {

int

a[100][100],b[100][100

逻辑函数真值表生成程序设计报告

一．问题：

设计一个能生成具有13个输入逻辑变量的逻辑函数真值表生成程序。

二．原理：

逻辑函数(logical function)是数字电路（一种开关电路）的特点及描述工具，输入、输出量是高、低电平，可以用二元常量(0，1)来表示，输入量和输出量之间的关系是一种逻辑上的因果关系。仿效普通函数的概念，数字电路可以用逻辑函数的的数学工具来描述。

真值表是表征逻辑事件输入和输出之间全部可能状态的表格。

列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。

真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。 (表达式可以是论证；就是说，表达式的合取，它的每个结合项(conjunct)都是最后要做的结论的一个前提。)

三．测试结果：

四．附录（代码）： #include #include

#define MAXNUM 100 //栈最大元素个数

#define MAXEXP 30 //允许用户输入的表达式最大字符数 #include \#include \

const c

“离散数学”实验报告

（求给定命题公式的真值表并根据真值表求公式的主范式）

专 业 网络工程 班 级 1202班 学 号 12407442 姓 名 张敏慧

2013.12.14

目录

一.实验目的 ....................................................... 3 二.实验内容???????????????????????????.3

求任意一个命题公式的真值表 .............................................................................. 3

三.实验环境 ....................................................... 3 四. 实验原理和实现过程（算法描述） ............................ 3

1.实验原理 ..................................................................................................

“离散数学”实验报告

（求给定命题公式的真值表并根据真值表求公式的主范式）

专 业 网络工程 班 级 1202班 学 号 12407442 姓 名 张敏慧

2013.12.14

目录

一.实验目的 ....................................................... 3 二.实验内容???????????????????????????.3

求任意一个命题公式的真值表 .............................................................................. 3

三.实验环境 ....................................................... 3 四. 实验原理和实现过程（算法描述） ............................ 3

1.实验原理 ..................................................................................................