博客
关于我
离散数学实验:计算真值
阅读量: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/

你可能感兴趣的文章
nginx配置全解
查看>>
Nginx配置参数中文说明
查看>>
Nginx配置后台网关映射路径
查看>>
nginx配置域名和ip同时访问、开放多端口
查看>>
Nginx配置多个不同端口服务共用80端口
查看>>
Nginx配置好ssl,但$_SERVER[‘HTTPS‘]取不到值
查看>>
Nginx配置如何一键生成
查看>>
Nginx配置实例-动静分离实例:搭建静态资源服务器
查看>>
Nginx配置实例-反向代理实例:根据访问的路径跳转到不同端口的服务中
查看>>
Nginx配置实例-反向代理实现浏览器请求Nginx跳转到服务器某页面
查看>>
Nginx配置实例-负载均衡实例:平均访问多台服务器
查看>>
Nginx配置文件nginx.conf中文详解(总结)
查看>>
Nginx配置自带的stub状态实现活动监控指标
查看>>
nginx配置详解、端口重定向和504
查看>>
Nginx配置负载均衡到后台网关集群
查看>>
Nginx配置限流,技能拉满!
查看>>
Nginx配置静态代理/静态资源映射时root与alias的区别,带前缀映射用alias
查看>>
Nginx面试三连问:Nginx如何工作?负载均衡策略有哪些?如何限流?
查看>>
nginx:/usr/src/fastdfs-nginx-module/src/common.c:21:25:致命错误:fdfs_define.h:没有那个文件或目录 #include
查看>>
Nginx:NginxConfig可视化配置工具安装
查看>>