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

搜索资源列表

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

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

  3. 所属分类：C++

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

  1. 离散数学考试试题及答案

  2. 离散数学考试题及答案 1．求(PQ)R的主析取范式和主合取范式。 2．求(x)P(y,x) (y)Q(y) 的前束范式。 3．设*为实数集R上的运算，定义为：a*b=a+b+2ab 1． 求2*(-5) (2) 运算是可结合、可交换吗？ (3) 求其幺元 (3) 求其零元 4． 给定集合S={1,2,3,4,5}，找出S上的等价关系R，此关系能够产生划分{{1,2,3},{4},{5}}。 5．设T为二叉树，除叶子结点外还含有3个3度结点、1个2度结点。问T中有几个1度结点？并画出两

  3. 所属分类：专业指导

    • 发布日期：2010-01-19
    • 文件大小：19456
    • 提供者：luomandi1991

  1. 离散数学数理逻辑部分

  2. 离散数学数理逻辑部分，主要功能是合式公式的判断、主析取范式、主合取范式的求值，真值表，等价性等等

  3. 所属分类：专业指导

    • 发布日期：2010-04-07
    • 文件大小：40960
    • 提供者：jeick

  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. 离散数学简单析取合取程序连接词的运算

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

  3. 所属分类：专业指导

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

  1. 离散数学程序逻辑推理

  2. 离散数学的代码，可用于实现真值表输出，输出主析取主合取范式，逻辑推理等。

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

  1. 离散数学计算器

  2. 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4.计算前请选择变元个数（默认为3元）并对变元赋值。变元个数

  3. 所属分类：Java

    • 发布日期：2007-02-05
    • 文件大小：6291456
    • 提供者：qiaomuf

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

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

  3. 所属分类：讲义

    • 发布日期：2016-09-25
    • 文件大小：286720
    • 提供者：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. 离散数学计算器

  2. 可计算真值表主析取范式主合取范式 JAVA需要java环境，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，

  3. 所属分类：Java

    • 发布日期：2018-04-16
    • 文件大小：6291456
    • 提供者：qq_41999496

  1. 主析取和主合取式产生

  2. 离散数学中有主析取式和主合取式的产生算法，但是没有具体代码，这里采用C++语言实现了主析取和主合取的产生。

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

    • 发布日期：2018-07-17
    • 文件大小：5120
    • 提供者：weixin_40583313

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  1. 离散数学实验报告

  2. 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B），并根据真值表求主范式（C） 注意：题目类型分为A，B，C三类，其中A为基本题，完成A类题目可达到设计的基本要求，其他均为加分题，并按字母顺序分数增加越高。

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

    • 发布日期：2012-03-12
    • 文件大小：846848
    • 提供者：zwnzfylucej

  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 »