搜索资源列表
lishanshuxue
- 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4
lishanshuxue
- 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4
TCS_genealogy
- 树状显示SIGACT 理论计算机科学家谱系图.析取数据源并建立合适结构.-Tree shows that the theoretical computer scientist SIGACT pedigree chart. Disjunctive data sources and to establish a suitable structure.
zchaff
- 命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver
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
1-4
- 离散中的求主析取范式和主合取范式 用MFC工具完成-The Lord of discrete disjunctive and conjunctive normal form the main tools used to complete MFC
NormalFormMaker
- 范式生成器。数理逻辑的辅助小程序，可以给出任意命题公式的合取范式和析取范式。主要用二叉树方式实现。包内文档比较详细，介绍了实现的主要思路。-Paradigm generator. Mathematical logic supporting small programs, any propositional formula can be given conjunctive normal form and disjunctive. Main
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
xiqufans
- 求取输入公式的析取范式，利用二叉树的结构-Enter the formula to strike a disjunctive normal form, using the binary tree structure
logic
- 实现命题公式的判定并输出主析取范式、主合取范式，包括括号匹配，MFC实现，界面友好-Realize the proposition formula judgments and output main disjunctive normal form, principal and take paradigm, including parentheses matching, MFC realization, friendly interfac
Symbolic-logic
- 数理逻辑中实现，求取合取范式和析取范式的源代码-Mathematical logic to achieve, to strike a conjunctive normal form and disjunctive normal form of source code
Discrete-Mathematics-report(1)
- 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B），并根据真值表求主范式（C） 注意：题目类型分为A，B，C三类，其中A为基本题，完成A类题目可达到设计的基本要求，其他均为加分题，并按字母顺序分数增加越高。-Input two propositional variables P and Q is the true value from the
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, di
ZhuXiQuFanShi
- 自动生成主析取范式，利用JAVA来实现这个功能-Normal forms and special disjunctive forms automatically
cal
- 离散数学中的求范式问题 求主析取范式和主合取范式 -Discrete Mathematics model question seeking the Lord disjunctive and conjunctive normal primary
866457
- 析取动态链接库中的图标，C++Builder精选编程学习源码，很好的参考资料。-Disjunctive dynamic link library in C++Builder icon, select learning programming source code, a good reference.
a107
- 离散数学课真值表，主和取范式，主析取范式。-Discrete mathematics truth table, the main and paradigm, principal disjunctive normal form.