大作业1 沈晨玙 20190921211
需积分: 0 33 浏览量
2022-08-08
23:14:26
上传
评论
收藏 58KB DOCX 举报
命题逻辑 大作业
姓名： 沈晨玙 学号： 2019092121
一. 判断题（15pts）
1. 若 A 为一个简单析取式，那么 A 也一定是一个合取范式。 （√）
2. 一个合式公式不可能对应两个不同的 n 元真值函数。 （√）
3. 联结词集合{
↔,↑
}是一个全功能集。 （√）
4. 对于任意合式公式，其析取范式都是唯一的。 （×）
5. 对于任意合式公式 A，若 B 是它的主析取范式，C 是其主合取范式，则 B 中的极
小项个数与 C 中的极大项个数恰好相等。 （×）
二. 判断下列公式的类型，方法不限，请写出具体步骤。（30pts）
1.
( ) (( ) ( ) )( )s t s t s t rØ « ® Ù Ø Ú Ø Ù Ú
重言式
1
1
))()((
)))()(()((
)))()(()((
)))()(()((
)))()(()((
�
��
������
��������
����������
�����������
���������
r
rtsts
rsttsts
rsttsts
rtststs
rtststs
2.
( ( )) ( )s t s r tÙ Ø ® Ù Ù
矛盾式
0
)(0
)()(
)())((
)())((
�
���
������
�������
�����
tr
trsts
trsts
trsts
3.
( ( ( ))) ( )s t r s r wØ Ú ® Ù Ø ® Ú Ø
张景淇
- 粉丝: 39
- 资源: 277
最新资源
- 当涉及到数据库的资源介绍时，以下是一个约500字的概述： 数据库是现代信息技术中不可或缺的核心组件，它承载着组织内部的关键数据
- 自用 3~9 所有自用整理出来时的数据和截图 后台配置、业务操作等
- 基于matlab实现App Designer工具制作而成的一款集音频采集、播放、时域频域分析、加噪、滤波
- 基于matlab实现的振动信号的KAISER滤波与频谱分析,可用于加速度传感器信号 (1).rar
- 基于matlab实现MVDR谱估计，用于噪声估计，在手机麦克风降噪上有很广的应用.rar
- 基于matlab实现8个振动信号处理的经典matlab程序，是学习振动信号处理的重要基础知识 程序中的参数可以根据需要更改
- 基于matlab实现 音乐分析 学习matlab的gui功能 帮助学习matlab 信号处理 音乐分析.rar
- pycharm配置python环境
- 基于matlab实现对机械振动信号的预处理，以及滤波，频域变换等.rar
- 基于matlab实现对锅炉主蒸汽温度控制进行预测控制仿真，适用于大延迟系统的Matlab仿真.rar
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
评论0