搜索资源列表
math
- 逻辑计算器 输入逻辑算式 求出真值表 界面简洁 使用方便-Logic formula calculator input logic interface is simple and easy to find the truth table
truthtable
- 求离散数学中命题逻辑公式的真值表的源代码。-Discrete Mathematics in seeking a formula of propositional logic truth table of the source code.
200561673692249
- 离散数学的真值表计算方法。可以计算N个输入的全部真值表-A special discrete mathematics used to calculate the truth table of the program, using C++ language
dm-labs
- 离散数学的若干实验指导书。主要包含真值表判定、逻辑推理、集合运算、等价关系、代数系统运算等方面。-Several discrete mathematics experiment documents. Mainly consists of determining truth table, logical reasoning, set operations, equivalence relations, algebraic operations and so on.
Formed-formula
- 给出任意变元的合式公式，构造该合式公式的真值表 -Formed formula given any arguments, construct the truth table of the well-formed formula
test
- 生成真值表，F=X1Xk+1V....,产生文件，保存-Generated the truth table, F = X1Xk+1V, .... generated file, save
truth_tables
- 根据boolean Function(A B C)生成其真值表-Its truth table is generated based on boolean Function (ABC)