博客
关于我
离散数学实验:计算真值
阅读量:666 次
发布时间:2019-03-15

本文共 595 字,大约阅读时间需要 1 分钟。

一、实验目的

熟悉五个常用联结词合取、析取、条件和双条件的概念,掌握真值表技术。

二、实验内容

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

三、实验源程序

#include
int main(){ int P, Q; printf("从键盘输入两个命题P和Q的真值\n"); scanf_s("%d %d", &P, &Q); printf("P合取Q为%d\n", (P && Q)); printf("P析取Q为%d\n", (P || Q)); int judge1, judge2, judge3; if (P == 1 && Q == 0) judge1 = 0; else judge1 = 1; printf("P->Q为%d\n", judge1); if (Q == 1 && P == 0) judge2 = 0; else judge2 = 1; printf("Q->P为%d\n", judge2); if (Q == P) judge3 = 1; else judge3 = 0; printf("P<->Q为%d", judge3); return 0;}

四、实验分析

这是一个简单的实验,明白四个关系的具体含义,利用程序中的对应代码进行替换判断即可。

转载地址:http://wdwqz.baihongyu.com/

你可能感兴趣的文章
NFS共享文件系统搭建
查看>>
nfs复习
查看>>
NFS安装配置
查看>>
NFS服务器配置-服务启动与停止
查看>>
NFS的安装以及windows/linux挂载linux网络文件系统NFS
查看>>
NFS的常用挂载参数
查看>>
NFS网络文件系统
查看>>
NFS远程目录挂载
查看>>
nft文件传输_利用remoting实现文件传输-.NET教程,远程及网络应用
查看>>
NFV商用可行新华三vBRAS方案实践验证
查看>>
ng build --aot --prod生成文件报错
查看>>
ng 指令的自定义、使用
查看>>
nghttp3使用指南
查看>>
Nginx
查看>>
nginx + etcd 动态负载均衡实践(一)—— 组件介绍
查看>>
nginx + etcd 动态负载均衡实践(三)—— 基于nginx-upsync-module实现
查看>>
nginx + etcd 动态负载均衡实践(二)—— 组件安装
查看>>
nginx + etcd 动态负载均衡实践(四)—— 基于confd实现
查看>>
Nginx + Spring Boot 实现负载均衡
查看>>
Nginx + Tomcat + SpringBoot 部署项目
查看>>