登录
首页 » 算法 » 重言式的判别

重言式的判别

于 2023-04-13 发布 文件大小:4.73 kB
0 103
下载积分: 2 下载次数: 1

代码说明:

资源描述 先来明确一下概念:一个逻辑表达式如果对于其变元的任一种取值均为真,则成为重言式;反之,如果对于其变元的任一种取值都为假,则称为矛盾式,然而,更多的情况下,既非重言式,也非矛盾式。 对于一个逻辑表达式,到底属于上面三种情况的哪一种,可以有很多种判断方法,如真值表法,直接证明法等等,这些你可以参考 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • 行人检测采用svm
    行人检测采用svm算法,采用C++语言实现,可以直接编译,算法在移动的车辆上检测可以达到80%以上的检测率,
    2022-03-24 22:00:51下载
    积分:1
  • 利用KPCA 的COCOMO模型
    成本估算是一个耗时和关键任务的软件组织和团队。好的估计可以帮助我们做出更主持决策以及控制和规划softwarerisks,如果他们是非常正确的和有效的。在本文中,我们提出了一个减少饲料前馈神经网络技术——基于主成分分析(KPCA方法估计模型的正确性)。基于COCOMO 81数据集 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
    2022-02-25 21:06:46下载
    积分:1
  • 这个是用delphi写的一些常用的数学公式,包括一些高级数学公式,图像编程等源代码。...
    这个是用delphi写的一些常用的数学公式,包括一些高级数学公式,图像编程等源代码。-this is delphi write some common mathematical formula, including some advanced mathematical formulas, images and other programming source code.
    2022-10-02 22:10:04下载
    积分:1
  • 一个毕业程序设计,是用小波和支持向量机对电能质量扰动的识别与分类,主要利用的能量特征。...
    一个毕业程序设计,是用小波和支持向量机对电能质量扰动的识别与分类,主要利用的能量特征。-A graduate program design is the use of wavelet and support vector machines for power quality disturbance recognition and classification, the main characteristics of energy use.
    2022-05-14 22:36:54下载
    积分:1
  • 同步控制彩灯
    这是一个红外收器,以呼吸流水灯的方式来显示。直接并用市电,通过市电的工频来做时钟,这样能保证每一个并入市电的模块都有一个同时呼吸的效果。
    2022-08-19 10:52:34下载
    积分:1
  • 根据相似度去文本重复
    数据挖掘根据相似度去文本重复的一个程序,用c++语言写的,可用于数据挖掘的预处理。
    2022-03-09 22:53:55下载
    积分:1
  • 模指数运
    这个代码可以直接运行,能够在较快的时间内完成a e mod m 的运算,并且拥有图形化的界面。使用起来十分方便。
    2022-07-14 00:04:48下载
    积分:1
  • use VB FFT (Fast Fourier) transformation.
    利用VB进行FFT(快速傅立叶)变换。-use VB FFT (Fast Fourier) transformation.
    2022-10-09 13:45:03下载
    积分:1
  • 欧几里得32位最大公约数gcd
    资源描述这是一个求32位最大公约数的欧几里得算法的实现,使用了64级的流水线实现的,可以用,做了DC综合,测试全部通过!!这是一个求32位最大公约数的欧几里得算法的实现,使用了64级的流水线实现的,可以用,做了DC综合,测试全部通过!!这是一个求32位最大公约数的欧几里得算法的实现,使用了64级的流水线实现的,可以用,做了DC综合,测试全部通过!!
    2023-09-03 07:50:04下载
    积分:1
  • 最短路径
    带权有向图的最短路径的求解,包括狄克斯特拉算法;弗洛伊德算法;
    2023-05-01 22:00:03下载
    积分:1
  • 696518资源总数
  • 105873会员总数
  • 12今日下载