Search - disjunctive normal form

Search - disjunctive normal form - List

[Mathimatics-Numerical algorithms] zchaff DL : 0: 命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver
Update : 2025-02-17 Size : 3.9mb Publisher : gejuan
[Windows Develop] lisan DL : 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.
Update : 2025-02-17 Size : 2.62mb Publisher :
[ADO-ODBC] 1-4 DL : 0: 离散中的求主析取范式和主合取范式用MFC工具完成-The Lord of discrete disjunctive and conjunctive normal form the main tools used to complete MFC
Update : 2025-02-17 Size : 45kb Publisher : 张广焕
[Data structs] NormalFormMaker DL : 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 tree. More detailed documentation package, introduced the main ideas to achieve.
Update : 2025-02-17 Size : 8.12mb Publisher : yjt
[GUI Develop] TrueTablePropositionFormula(NEW2) DL : 0: 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.
Update : 2025-02-17 Size : 1.85mb Publisher : spiritualcastle
[Data structs] xiqufans DL : 0: 求取输入公式的析取范式，利用二叉树的结构-Enter the formula to strike a disjunctive normal form, using the binary tree structure
Update : 2025-02-17 Size : 2kb Publisher : Jake
[Data structs] logic DL : 0: 实现命题公式的判定并输出主析取范式、主合取范式，包括括号匹配，MFC实现，界面友好-Realize the proposition formula judgments and output main disjunctive normal form, principal and take paradigm, including parentheses matching, MFC realization, friendly interface!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
Update : 2025-02-17 Size : 2.83mb Publisher : 小虎
[Algorithm] Symbolic-logic DL : 0: 数理逻辑中实现，求取合取范式和析取范式的源代码-Mathematical logic to achieve, to strike a conjunctive normal form and disjunctive normal form of source code
Update : 2025-02-17 Size : 696kb Publisher : jackywu
[Other] a DL : 0: 离散数学课真值表，主和取范式，主析取范式。-Discrete mathematics truth table, the main and paradigm, principal disjunctive normal form.
Update : 2025-02-17 Size : 4kb Publisher : 洋洋
[Algorithm] xiqufanshi DL : 0: 求主析取范式，C++语言逻辑的，运行绝对正确的-Lord disjunctive normal form, C++ the logic of language, running absolutely correct
Update : 2025-02-17 Size : 210kb Publisher : sutty
[Mathimatics-Numerical algorithms] a107 DL : 0: 离散数学课真值表，主和取范式，主析取范式。-Discrete mathematics truth table, the main and paradigm, principal disjunctive normal form.
Update : 2025-02-17 Size : 4kb Publisher : xian4350840