搜索资源列表
Logical
- 输入待计算的逻辑表达式及变元的真值，计算该表达式的真值。 支持的逻辑运算包括 否定 ！ 合取 + 析取 － 蕴含 # 等价 $
TCS_genealogy
- 树状显示SIGACT 理论计算机科学家谱系图.析取数据源并建立合适结构.
decision-tree
- 本程序实现了一个决策树生成程序， 决策树学习是应用最广的归纳推理算法之一。这是一种逼近离散值函数的方法，对噪声数据有很好的健壮性且能够学习析取表达式。在这种方法中学习到的函数被表示为一棵决策树。学习得到的决策树也能再被表示多个if-then规则，以提高可读性。本程序附带详细的说明文档-decision tree ID3
lisan
- 界面很漂亮，用MFC实现离散数学中主合取范式和主析取范式并且能输出真值表，功能强大。-Interface is very beautiful, with the MFC implementation of discrete mathematics in the primary conjunctive normal form and disjunctive and the main output of truth table can be powerful.
1-4
- 离散中的求主析取范式和主合取范式 用MFC工具完成-The Lord of discrete disjunctive and conjunctive normal form the main tools used to complete MFC
shuliluoji
- 1、输入命题公式，该软件能判断公式的类型，并列出真值表。 2、输入命题公式，给出它的主合取范式和主析取范式。 -This software can judge formula for a type of the true value.
lisanshuxushiyan1
- 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C）） -1. From the keyboard input variables of two propositions P and Q of the true value, find their conjunction, disjunction, conditional and biconditional true value. (A)
NormalFormMaker
- 范式生成器。数理逻辑的辅助小程序，可以给出任意命题公式的合取范式和析取范式。主要用二叉树方式实现。包内文档比较详细，介绍了实现的主要思路。-Paradigm generator. Mathematical logic supporting small programs, any propositional formula can be given conjunctive normal form and disjunctive. Mainly be achieved with the binary
TrueTablePropositionFormula(NEW2)
- mfc可视化界面，离散数学课题作业。计算并显示命题公式的真值表，以及其主析取范式和主合取范式。-mfc visual interface, discrete mathematics topics operation. Propositional formula calculates and displays the truth table, as well as its main and principal co-disjunctive normal form.
xiqufans
- 求取输入公式的析取范式，利用二叉树的结构-Enter the formula to strike a disjunctive normal form, using the binary tree structure
normal
- C语言写的实现求析取范式和合取范式的源代码，上面附有源代码的说明，下下来就可以使用-normal ，bu C
logic
- 实现命题公式的判定并输出主析取范式、主合取范式，包括括号匹配，MFC实现，界面友好-Realize the proposition formula judgments and output main disjunctive normal form, principal and take paradigm, including parentheses matching, MFC realization, friendly interface!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
Symbolic-logic
- 数理逻辑中实现，求取合取范式和析取范式的源代码-Mathematical logic to achieve, to strike a conjunctive normal form and disjunctive normal form of source code
Sequential-Rules
- 序列规则 web信息抽取 还有和析取规则的对比。-sequential rule in web information extraction and disjunctive rule
a
- 离散数学课真值表，主和取范式，主析取范式。-Discrete mathematics truth table, the main and paradigm, principal disjunctive normal form.
xiqufanshi
- 求主析取范式，C++语言逻辑的，运行绝对正确的-Lord disjunctive normal form, C++ the logic of language, running absolutely correct
xxxx
- c语言离散数学程序设计，求真值表，析取，合取 真值表，析取，合取程序设计，离散数学，C语言，小程序，报告 自己编的小程序，拿来和大家分享 希望有用，初学离散懒得算的也可以用用 -Discrete Mathematics c language program design, seeking truth tables, disjunctive and conjunctive truth tables, disjunctive, conjunctive program
judgment
- 离散命题的判断以及析取合取，judgment and disjunction of conjunctive proposition-judgment and disjunction of conjunctive proposition
truth_table
- 从键盘输入两个命题p,q的真值，用真值表法求它们的合取、析取、蕴涵、等价的真值。-Input from the keyboard two propositions p, q of the true value, with the truth table method for their conjunction, disjunction, implication, equivalence of the true value.
求主析取主合取、真值表并判断是否相等
- cpp文件可实现“求主析取主合取及其真值表，并能判断是否相等”(The program can be realized for disjunctive conjunctive and truth table, and determine whether equal")