Description: 命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver Platform: |
Size: 4089856 |
Author:gejuan |
Hits:
Description: 界面很漂亮，用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. Platform: |
Size: 2746368 |
Author: |
Hits:
Description: 离散中的求主析取范式和主合取范式 用MFC工具完成-The Lord of discrete disjunctive and conjunctive normal form the main tools used to complete MFC Platform: |
Size: 46080 |
Author:张广焕 |
Hits:
Description: 范式生成器。数理逻辑的辅助小程序，可以给出任意命题公式的合取范式和析取范式。主要用二叉树方式实现。包内文档比较详细，介绍了实现的主要思路。-Paradigm generator. Mathematical logic supporting small programs, any propositional formula can be given conjunctive normal form and disjunctive. Mainly be achieved with the binary tree. More detailed documentation package, introduced the main ideas to achieve. Platform: |
Size: 8509440 |
Author:yjt |
Hits:
Description: 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. Platform: |
Size: 1942528 |
Author:spiritualcastle |
Hits:
Description: 求取输入公式的析取范式，利用二叉树的结构-Enter the formula to strike a disjunctive normal form, using the binary tree structure Platform: |
Size: 2048 |
Author:Jake |
Hits:
Description: 实现命题公式的判定并输出主析取范式、主合取范式，包括括号匹配，MFC实现，界面友好-Realize the proposition formula judgments and output main disjunctive normal form, principal and take paradigm, including parentheses matching, MFC realization, friendly interface!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
Platform: |
Size: 2963456 |
Author:小虎 |
Hits:
Description: 数理逻辑中实现，求取合取范式和析取范式的源代码-Mathematical logic to achieve, to strike a conjunctive normal form and disjunctive normal form of source code Platform: |
Size: 712704 |
Author:jackywu |
Hits:
Description: 离散数学课真值表，主和取范式，主析取范式。-Discrete mathematics truth table, the main and paradigm, principal disjunctive normal form. Platform: |
Size: 4096 |
Author:洋洋 |
Hits:
Description: 离散数学课真值表，主和取范式，主析取范式。-Discrete mathematics truth table, the main and paradigm, principal disjunctive normal form. Platform: |
Size: 4096 |
Author:xian4350840 |
Hits:
Search - disjunctive normal form