注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 合适公式真值表的演算

  2. 此C程序能轻松写出三个以内的合适公式的真值表，但注意看代码里面的合适公式的写法！

  3. 所属分类：C

  1. 离散数学c++编程 传递闭包 公式的真值表 关系的判定 集合的幂运

  2. Euler 传递闭包 公式的真值表 关系的判定 集合的幂运算 结合律的判定 两个集合的卡积 零元和单位元 同构关系的判定 自反闭包和对称闭包

  3. 所属分类：C++

    • 发布日期：2010-04-23
    • 文件大小：88064
    • 提供者：laven_

  1. 命题公式的真值表及主析取主合取范式

  2. 这是我门上机作业,有个同学做的很好,拿来和大家分享,希望对大家有益^

  3. 所属分类：C++

    • 发布日期：2010-05-25
    • 文件大小：1048576
    • 提供者：LI_YANCHAO_521

  1. 离散数学命题公式的一个演示程序

  2. 用VC6.0编写的一个演示命题公式判断和运算的程序，程序通过对话框和用户实现交互，可以求解命题公式的真值表、主合取范式、主析取范式等等。

  3. 所属分类：C++

    • 发布日期：2010-09-15
    • 文件大小：521216
    • 提供者：computerchao

  1. 离散数学实验 C语言编程

  2. 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C））

  3. 所属分类：C

    • 发布日期：2010-12-06
    • 文件大小：327680
    • 提供者：zyd036

  1. 离散数学求合适公式的真值表（Java 实现）

  2. * 显示合适公式的真值表 * 提供将一个中缀合适公式的真值表输出到某一PrintStream流中的功能 * 以单个大写字母表示变量（支持26个变量） * 以字符0或者1表示值 * 以 ~ ^ & > - 分别表示 非 析取 合取 条件 双条件 连接词 * 支持 ( )（括号） * 如果公式中有错误将不会输入真值表（将会输出错误信息） 说明：以 ~ ^ & > - 分别表示 非 析取 合取 条件 双条件 连接词 以单个大写字母表示变量（支持26个变量） 以字符0或者1表示值，式子中的

  3. 所属分类：Java

    • 发布日期：2011-03-26
    • 文件大小：8192
    • 提供者：chishaxie

  1. 命题公式真值表 的生成算法

  2. 真值表 是命题逻辑理论 中的一个重要 概念 , 利用它可 以求命 题公式 的主 范式 、 定命 题公式 的类型以及 进行 判命题 逻辑的推理等 。本文给 出了 意命题 公式真值 表的生成 算法 , 用计算机 解决命题 逻辑 中的其它 问题奠定 了基础 。

  3. 所属分类：其它

    • 发布日期：2011-05-06
    • 文件大小：166912
    • 提供者：funnuy

  1. 计算命题演算公式的真值课程设计报告

  2. 所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。 要求： （1）利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值，即每到达一个结点，其子树之值

  3. 所属分类：C/C++

    • 发布日期：2011-08-12
    • 文件大小：284672
    • 提供者：cqq20091001234

  1. Ｃ＋＋真值表模拟程序

  2. 这是一个用Ｃ＋＋做的离散数学 实现任意给定公式真值表的计算，并显示运算结果。

  3. 所属分类：C/C++

    • 发布日期：2011-12-03
    • 文件大小：969728
    • 提供者：yjw123456

  1. 输出多个命题公式的合取式真值表

  2. 给出任意变元的合式公式，构造该合式公式的真值表

  3. 所属分类：C/C++

    • 发布日期：2012-02-28
    • 文件大小：107520
    • 提供者：mrhoo7793

  1. 离散数学简单析取合取程序连接词的运算

  2. 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C））

  3. 所属分类：专业指导

    • 发布日期：2012-10-17
    • 文件大小：362496
    • 提供者：hyx_116688

  1. 离散数学 真值表判断

  2. 公式是由命题变元，逻辑连接词，括号组成的合法符号串，而命题变元是一个抽象概念

  3. 所属分类：C/C++

    • 发布日期：2012-11-20
    • 文件大小：9216
    • 提供者：xiaoleiacm

  1. 离散数学公式换算程序

  2. 可以求出真值表 查看求真值表的技术 有操作的步骤

  3. 所属分类：C#

    • 发布日期：2013-09-13
    • 文件大小：720896
    • 提供者：u010300715

  1. 构造任意合适公式的真值表

  2. 构造任意合适公式的真值表 （一） 问题描述 给出任意变元的合适公示，构造该合适公式的真值表。 （二） 算法分析 主要用到的算法：递归消减求值

  3. 所属分类：其它

    • 发布日期：2013-12-17
    • 文件大小：145408
    • 提供者：u010900462

  1. C语言 实现离散数学真值表

  2. 用C语言实现离散数学中的任意合式公式的真值表

  3. 所属分类：C

    • 发布日期：2017-02-16
    • 文件大小：7168
    • 提供者：p_xiaojia

  1. 南京邮电大学实验一真值表法求主析取主合取范式

  2. 实 验 一利用真值表法求取主析取范式以及主合取范式的实现 实验名称：利用真值表法求取主析取范式以及主合取范式的实现 实验目的：通过编程实现主析取范式以及主合取范式的真值表求法以巩固相关理论的掌握 实验类型：验证 实验学时：4 实验环境：Windows+VC 从屏幕输入含三个以内变量的合式公式（其中联结词按照从高到底的顺序出现） 可用字符数组a记录输入的合式公式 如：输入PQPQ ！表示；&表示；|表示；>表示；-表示 规范列出所输合式公式的真值表 多重循环显示真值表（1表

  3. 所属分类：专业指导

    • 发布日期：2018-09-17
    • 文件大小：257024
    • 提供者：qq_42324327

  1. 一种命题逻辑的可判定性算法

  2. 针对命题逻辑的可判定性中真值表法复杂度高的问题，提出了一种基于命题逻辑联结符号完备性和与或树规则的命题逻辑的可判定性算法。算法首先利用常见的等价公式和与或树规则对命题逻辑的公式进行分解，然后参照分解后的树形结构将公式转换成范式形式，最后对照所得的判别式对命题逻辑公式进行判定。理论证明这种算法相比于具有指数级复杂度的真值表法效率高得多。

  3. 所属分类：其它

    • 发布日期：2020-10-17
    • 文件大小：234496
    • 提供者：weixin_38609401

  1. 不同类型触发器逻辑功能的函数描述方法

  2. 在数学上，我们有三种描述函数的方法：公式、表格和图形。同样，我们有三种描述触发器逻辑功能的方法，一是特性方程，二是特性表，三是状态转换图【图1，2， 3，4】 图1 RS触发器的状态转换图 图2 JK触发器的状态转换图 图3 T触发器的状态转换图和逻辑符号 图4 D触发器的状态转换图 　　特性表实际上是一种特殊的真值表，它对触发器的描述十分具体。这种真值表的输入变量（自变量）除了数据输入外，还有触发器的初态，而输出变量（因变量）则是触发器的次态。特性方程是从特性表归纳出

  3. 所属分类：其它

    • 发布日期：2020-11-06
    • 文件大小：62464
    • 提供者：weixin_38551749

  1. 触发器的描述方法

  2. 在数学上，我们有三种描述函数的方法：公式、表格和图形。同样，我们有三种描述触发器逻辑功能的方法，一是特性方程，二是特性表，三是状态转换图【图4.3.1，4.3.2， 4.3. 3，4.3.4】。 图4.3.1 RS触发器的状态转换图 图4.3.2 JK触发器的状态转换图 图4.3.3 T触发器的状态转换图和逻辑符号 图4.3.4 D触发器的状态转换图 　特性表实际上是一种特殊的真值表，它对触发器的描述十分具体。这种真值表的输入变量（自变量）除了数据输入外，还有触发器的

  3. 所属分类：其它

    • 发布日期：2020-12-07
    • 文件大小：60416
    • 提供者：weixin_38608693

  1. TruthTableGenerator：为句子逻辑公式生成真值表-源码

  2. 真值表生成器 这是一个Javascr ipt程序，在给定格式正确的真函数逻辑公式的情况下，它将生成真表。 您可以输入多个用逗号分隔的公式，以在一个表中包含多个公式（例如，测试是否必要）。 表格可以以html显示（仅完整表格或仅在主连接符下方的列），纯文本或LaTeX显示。 您还可以选择用于两个真值和连接词的符号。 用于各个连接词输出字符可以通过修改来改变htmlchar() txtchar()和latexchar()函数的开始处truthtable.js 。 该程序的实时版本在。 （c）迈

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：60416
    • 提供者：weixin_42131316
« 12 3 »