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

重言式的判别

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

代码说明:

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

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

发表评论

0 个回复

  • 用vc++和OpenGL实现三维地形实时动态显示
    开发环境:vc++6.0 windows2000 专业版 在正常情况下,opengl开发包在安装完vc++6以后,就已经安装好了, 所以本程序不需要其他的组件 源代码包含了三维地形生成的全过程,包括数据的读入,数据的组织, 三角网的构造,光照、材质、纹理等应用,对于核心代码均有简明的注释 至于某些特殊函数,请参考opengl和windowsapi的书籍,在msdn上均可以查到函数的使用说明。 几个文件的说明: dh10.bmp是本程序使用的导弹模型的纹理图片 dh10.mtl是本程序使用的导弹模型的材质文件 dh10.obj是本程序使用的导弹模型的数据文件 draw.dll,draw.h,draw.lib 专门用于绘制三维模型的通用动态库及其相关文件,由于项目原因,这部分源代码还不能公开 直接运行需要的文件 .exe dh10.bmp dh10.mtl dh10.obj draw.dll
    2022-07-13 07:40:20下载
    积分:1
  • 有关MC的三篇pdf文章 1.移动立方体的三重线性插值研究 2.空间相关MC的VTK实现 3.移动立方体中的三角剖分
    有关MC算法的三篇pdf文章 1.移动立方体算法的三重线性插值研究 2.空间相关MC算法的VTK实现 3.移动立方体算法中的三角剖分-The MC algorithm of three pdf article 1. Marching Cube triple linear interpolation of 2. VTK space-related MC algorithm to achieve 3. Marching cube triangulation algorithm
    2022-02-24 09:17:13下载
    积分:1
  • 固定边界条件下的三次样条插值matlab程序
    固定边界条件下的三次样条插值matlab程序-fixed boundary condition;cubic spline
    2022-09-24 05:55:02下载
    积分:1
  • 高阶矩阵,可以求逆,求特征值,对矩阵进行特征值分解...
    解算高阶矩阵,可以求逆,求特征值,对矩阵进行特征值分解-High-order matrix solvers can be inverse, and eigenvalues of matrix eigendecomposition
    2022-04-28 06:30:42下载
    积分:1
  • The use of fixed step size fourth
    使用定步长四阶龙格-库塔法解方程组,并给出一个含贝塞尔函数方程组的例子。-The use of fixed step size fourth-order Runge- Kutta method solution of equations, and gives a Bessel function equations with examples.
    2023-07-14 13:05:03下载
    积分:1
  • 定位在传感器网络中的 改进策略
    资源描述本文首先在查阅和参考大量国内外相关文献的基础上,介绍了无线传感器网 络节点定位技术的研究背景及意义,综述了国内外研究现状,并详细介绍了无线 传感器网络中一些典型的无需测距定位算法和系统。 传统DV-Hop 算法采用较少的锚节点参与平均跳距计算,未知节点使用此平均 跳距值误差大,为了减小DV-Hop 算法的定位误差,提高待定位节点的定位精度, 本文从以下三方面对其进行改进:针对DV-Hop 定位算法适应节点均匀分布的网络 这一特性,在算法的前期提出了节点的部署策略;针对平均每跳距离在求各种跳 数的节点之间的距离时有着不同程度的影响,在算法的中期提出了距离修正值策 略;针对用三边或多边测量法计算未知节点的坐标精度不高这一问题,在算法的 后期使用了具有交叉因子的粒子群算法这一策略 使用Omnet++和Matlab 仿真工具对提出改进算法的有效性进行验证。实验证 明,与DV-Hop 算法相比,三种改进算法的定位精度都得到了一定程度的提高,特 别是基于交叉因子粒子群定位时效果最佳,能更好地满足实际应用的需求。 关键词:无线传感器网络,节点定位技术,距离向量-跳段,平分四块部署,距离 修正,交叉粒子群优化算法
    2022-11-10 18:25:04下载
    积分:1
  • matlab分形程序
    实现cantor,分型树,couch曲线等分形图形的建立,内部还包括测距等功能函数
    2022-05-28 19:14:59下载
    积分:1
  • java古典问题:兔子生兔子
    资源描述古典问题:有一对兔子,从出生后第3个月起每个月都生一对兔子,小兔 子长到第三个月后每个月又生一对兔子,假如兔子都不死,问每个月的兔子总数 为多少? 本代码包含两个程序: 程序一:自主输入月数,输出各月的兔子数。 程序二:运行即输出20个月的兔子书。
    2022-03-29 23:34:47下载
    积分:1
  • 提取汉字首字母
    c++实现的查找汉字拼音首字母的算法demo,开用于方便通过首字母检索汉字
    2022-07-20 07:36:35下载
    积分:1
  • 二分求方程的实根 很简单的一个程序 要不是为了下一个东西,我才不会上这么变态的网站!...
    二分法求方程的实根 很简单的一个程序 要不是为了下一个东西,我才不会上这么变态的网站!-dichotomy equation for the real roots of a very simple procedure but for the sake of the next one thing, I would not be such a metamorphosis on the website!
    2022-09-17 10:45:03下载
    积分:1
  • 696518资源总数
  • 106253会员总数
  • 14今日下载