搜索资源列表
Logical
- 输入待计算的逻辑表达式及变元的真值，计算该表达式的真值。 支持的逻辑运算包括 否定 ！ 合取 + 析取 － 蕴含 # 等价 $
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 powerful.
1-4
- 离散中的求主析取范式和主合取范式 用MFC工具完成-The Lord of discrete disjunctive and conjunctive normal form the main tools used to complete MFC
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 normal form.
normal
- C语言写的实现求析取范式和合取范式的源代码，上面附有源代码的说明，下下来就可以使用-normal ，bu C
jishimoni1
- 定义了一个整型数组类Array，数组长度为30个元素。数组的初始化数据来源以及程序结束后数组的数据保存都指向工程文件夹下的文本文件 "vdata.txt"。即，创建数组对象时，在构造函数中读该取文件获得数据（首次创建对象时文件是打不开的，数组就没有初始化值），当程序结束时， 析构函数将数据写入上述文件。-Defines an integer array class Array, the array length of 30 elements. Initialization of the
a
- 离散数学课真值表，主和取范式，主析取范式。-Discrete mathematics truth table, the main and paradigm, principal disjunctive normal form.
1
- ：构建一个圆类Circle，其成员为圆心的坐标(x,y)和圆半径r，并设计构造函数（可以赋初值也可以不赋初值），析构函数（可以什么都不做，只打印信息，表示其被调用），设置新值成员函数Set(), 取圆心坐标成员函数GetX()、GetY()，取圆半径成员函数GetR()，打印成员值成员函数Print()，计算圆面积成员函数Area()。并用此类定义长度为10的对象数组，每个对象的圆心的坐标(x,y)和圆半径r由随机数rand()产生，打印每个对象的(x,y)、r和面积；然后将对象数组按照其r值从
judgment
- 离散命题的判断以及析取合取，judgment and disjunction of conjunctive proposition-judgment and disjunction of conjunctive proposition
truth_table
- 从键盘输入两个命题p,q的真值，用真值表法求它们的合取、析取、蕴涵、等价的真值。-Input from the keyboard two propositions p, q of the true value, with the truth table method for their conjunction, disjunction, implication, equivalence of the true value.
866457
- 析取动态链接库中的图标，C++Builder精选编程学习源码，很好的参考资料。-Disjunctive dynamic link library in C++Builder icon, select learning programming source code, a good reference.
CNF
- 实现主析取范式以及主合取范式的真值表求法-To achieve the main DNF and CNF main method for finding the truth table
求主析取主合取、真值表并判断是否相等
- cpp文件可实现“求主析取主合取及其真值表，并能判断是否相等”(The program can be realized for disjunctive conjunctive and truth table, and determine whether equal")
箱子
- 按以下给出的类框架描述和要求建立一个类Trunk，并按要求完成测试。 class Trunk { float edge; //正方形箱子底边长 float high; //箱子高 char color; //颜色（允许的取值：'G'、'P'、'Y'） int quantity; //数量 char *use; //用途（如：纸箱、行李箱、计算机箱） public: