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

搜索资源列表

  1. 求公式的主合取范式和主析取范式

  2. 求公式的主合取范式和主析取范式 c++写的类

  3. 所属分类：C++

    • 发布日期：2009-12-13
    • 文件大小：3072
    • 提供者：jackiesteed

  1. 数理逻辑辅助工具-合取范式&析取范式生成器

  2. 数理逻辑的辅助小程序，可以给出任意命题公式的合取范式及析取范式。主要用二叉树实现。压缩包内有比较详细的说明文档

  3. 所属分类：其它

    • 发布日期：2011-01-22
    • 文件大小：8388608
    • 提供者：yjt98765

  1. 数理逻辑-合取析取范式源代码

  2. 数理逻辑中，程序实现合取析取范式的源代码

  3. 所属分类：专业指导

    • 发布日期：2011-09-14
    • 文件大小：712704
    • 提供者：jackywu1010

  1. 真值表及主析取范式

  2. 用MFC编写的具有界面的离散数学真值表及主析取范式，主和取范式求解程序！

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

    • 发布日期：2011-10-26
    • 文件大小：1048576
    • 提供者：busmidiya

  1. 离散 合式公式 析取 合取转换

  2. 离散数学中的范式转换，C++实现合式转换为合取、析取范式

  3. 所属分类：C++

    • 发布日期：2012-03-18
    • 文件大小：10240
    • 提供者：wangzwsx

  1. Java版主析取范式

  2. 包里有两个类，每个类为一个单独的主析取范式。

  3. 所属分类：Java

    • 发布日期：2012-07-10
    • 文件大小：5120
    • 提供者：hsllovezyp

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

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

  3. 所属分类：专业指导

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

  1. 离散主析取范式算法

  2. 自动省城某命题的主析取范式，通过用JAVA来实现这个目的。

  3. 所属分类：Java

    • 发布日期：2012-12-30
    • 文件大小：9216
    • 提供者：a583332293

  1. 范式 合取 析取 蕴含 等价

  2. 范式 合取 析取 蕴含 等价 1． 消除等价式 2． 消除蕴含式 3． 化简否定式 4． 去掉多余的括号 5． 化简成为合取范式 6． 判断是否有互补对，是否为永真式

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

    • 发布日期：2014-01-02
    • 文件大小：13312
    • 提供者：lifesoldier

  1. C# 主析取范式求解工具App

  2. C# 主析取范式求解工具，对于输入的表达式，可以快速地得出其极小项

  3. 所属分类：C#

    • 发布日期：2015-09-10
    • 文件大小：7168
    • 提供者：jiangpeng59

  1. 主析取范式的求法及其应用

  2. 本文综述了求主析取范式的方法及各种方法的应用技巧。

  3. 所属分类：讲义

    • 发布日期：2016-09-25
    • 文件大小：286720
    • 提供者：qq_16621645

  1. 析取范式与合取范式

  2. 析取范式与合取范式

  3. 所属分类：讲义

    • 发布日期：2016-09-25
    • 文件大小：61440
    • 提供者：qq_16621645

  1. 主析取范式

  2. 简要介绍合取范式与析取范式的求取

  3. 所属分类：讲义

    • 发布日期：2016-09-25
    • 文件大小：194560
    • 提供者：qq_16621645

  1. 关于主合取与主析取范式的代码实现

  2. 关于离散数学中主合取与主析取范式的实现，主要通过c++实现

  3. 所属分类：C++

    • 发布日期：2018-01-10
    • 文件大小：11264
    • 提供者：qq_39382127

  1. 离散上级作业 C语言

  2. 用C写的离散上级作业，/笛卡尔积序偶简单矩阵输出输出/给定一个命题公式, 可以求出该公式的主吸取范式和主合取范式

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

    • 发布日期：2018-03-17
    • 文件大小：100352
    • 提供者：hqy_0306

  1. 范式计算器 windows窗口显示

  2. windows窗口显示范式计算器，弹窗显示结果，可以计算两变量或三变量主合取范式与析取范式

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

    • 发布日期：2018-04-24
    • 文件大小：22020096
    • 提供者：qxy119

  1. 主合取范式转主析取范式.ipynb

  2. 研究生人工智能课的作业，主合取范式转主析取范式，敲了四五个小时，亲测可用，python版本的，用anaconda可直接运行，注释详细，要的自取

  3. 所属分类：专业指导

    • 发布日期：2019-06-11
    • 文件大小：5120
    • 提供者：as1246170471

  1. 合取范式转析取范式python.zip

  2. 研究生人工智能课的作业，主合取范式转主析取范式，敲了四五个小时，亲测可用，python版本的，两个文件，ipynb用anaconda可直接运行，txt的复制到编译器可直接运行，注释详细，需要的自取

  3. 所属分类：专业指导

    • 发布日期：2019-06-11
    • 文件大小：3072
    • 提供者：as1246170471

  1. 计算主合取范式，主析取范式

  2. 通过代码编译出的程序帮助用户求出其输入的命题公式的真值表以及主析取范式和主合取范式。 要求：能够列出含三个以内变量的合式公式的真值表，并给出相应的主析取和主合取范式。

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

    • 发布日期：2020-07-01
    • 文件大小：8192
    • 提供者：fufang3155

  1. 真值表、主析取范式、主合取范式

  2. 离散数学 编程实现求解逻辑表达式的真值表、主析取范式、主合取范式对于一个含n个命题变元的表达式（n为相异的命题变元总个数），其真值表可看作由从0到2ⁿ-1的二进制数的变化表。因此，可以通过按行列举0到2ⁿ-1的二进制数来模拟真值表中命题变元的值。而对于表达式，在每一行，其值可通过运用该行的命题变元的值来求解。为此，应考虑：

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

    • 发布日期：2020-10-25
    • 文件大小：700416
    • 提供者：si_yu_ge
« 12 »