搜索资源列表
重言式判别实验报告
- 一个逻辑表达式如果对于其变元的任一种取值都为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式；然而，更多的情况下，既非重言式，也非矛盾式。试写一程序，通过真值表判断一个逻辑表达式属于那一类。-If a logical expression for the changes in the yuan's value for a true, as tautology; Conversely, if the changes for the yuan's value f
MTYS
- 已知一个命题演算公式及各变量的值，求公式的真值。 显示表达式的真值表。 逻辑变元的标识符可以是任意长的字母数字串。逻辑运算使用 与-> & 或-> | 非-> ！
VHDL_add_4
- 本程序完成带进位输入输出的四位二进制加法运算，编程思想采用真值表转换成布尔方程式，利用循环语句将一位全加器编为四位加法器。
2
- 命题公式源码，实现命题公式真值的自动计算；可以显示真值表
离散数学——真值表
- 学习离散数学时在老师地要求下编写的个小程序，离散数学——真值表-discrete mathematics learning at the request of the teacher to prepare procedures for the small, discrete mathematics -- truth table
逻辑运算、命题公式的真值表
- 给出任意一个合式公式，我们应该怎样能够将它用C语句表示出来，并且能够计算它在各组真值指派下所应有的真值（或是逻辑运算的结果）。这有多种方法。下面我们给出一种较为简便的方法。上面我们已经给出了逻辑连结词的定义，根据这种定义方法，我们也可以把一个合式公式表示成为条件语句中的条件表达式，这样我们就可以得到该合式公式的逻辑运算结果了。
zhenzhibiao
- 一个专门用来计算离散数学真值表的程序，用C语言编写-A special discrete mathematics used to calculate the truth table of the program, using C language
lisanbiancheng
- 离散编程，求关系的传递闭包,真值表，求偏序关系的极大元与极小元，消解算法 求关系的传递闭包 输入 一次输入一个关系矩阵，每一行两个相邻元素之间用一个空格隔开，输入元素的行与列分别对应关系矩阵的行与列。 输出 输出该关系的传递闭包所对应的关系矩阵，要求格式与输入的格式相同。-Discrete programming, find the relationship between the transmission of closure, truth tabl
12
- 本系统以单片机AT89C51为主体,由芯片插座、独立按键、74HC573驱动8位数码管显示、5V直流电源控制模块等组成。根据数字集成芯片的引脚特性以及集成芯片的真值表编写检测程序。该系统能完成14脚以内常用TTL74系列数字集成芯片的功能测试。-This system is the main body of the single-chip microcomputer AT89C51, the chip socket, independent buttons, 74HC573 Driver 8
对输入信号进行交换
- 关于对输入信号进行交换的logisim文件，或可直接利用真值表导出