当前位置：
首页 资源下载
搜索资源 - disjunctive normal form
搜索资源列表
-
0下载：
命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver
-
-
0下载：
界面很漂亮，用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.
-
-
0下载：
离散中的求主析取范式和主合取范式 用MFC工具完成-The Lord of discrete disjunctive and conjunctive normal form the main tools used to complete MFC
-
-
0下载：
范式生成器。数理逻辑的辅助小程序，可以给出任意命题公式的合取范式和析取范式。主要用二叉树方式实现。包内文档比较详细，介绍了实现的主要思路。-Paradigm generator. Mathematical logic supporting small programs, any propositional formula can be given conjunctive normal form and disjunctive. Mainly be achieved with the binary
-
-
1下载：
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.
-
-
0下载：
求取输入公式的析取范式，利用二叉树的结构-Enter the formula to strike a disjunctive normal form, using the binary tree structure
-
-
1下载：
实现命题公式的判定并输出主析取范式、主合取范式，包括括号匹配，MFC实现，界面友好-Realize the proposition formula judgments and output main disjunctive normal form, principal and take paradigm, including parentheses matching, MFC realization, friendly interface!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
-
-
0下载：
数理逻辑中实现，求取合取范式和析取范式的源代码-Mathematical logic to achieve, to strike a conjunctive normal form and disjunctive normal form of source code
-
-
0下载：
离散数学课真值表，主和取范式，主析取范式。-Discrete mathematics truth table, the main and paradigm, principal disjunctive normal form.
-
-
0下载：
求主析取范式，C++语言逻辑的，运行绝对正确的-Lord disjunctive normal form, C++ the logic of language, running absolutely correct
-
-
0下载：
离散数学课真值表，主和取范式，主析取范式。-Discrete mathematics truth table, the main and paradigm, principal disjunctive normal form.
-
