文件名称:MTYS
介绍说明--下载内容均来自于网络,请自行研究使用
已知一个命题演算公式及各变量的值,求公式的真值。
显示表达式的真值表。
逻辑变元的标识符可以是任意长的字母数字串。逻辑运算使用 与-> & 或-> | 非-> ! -Known formula of a propositional calculus and the variable
显示表达式的真值表。
逻辑变元的标识符可以是任意长的字母数字串。逻辑运算使用 与-> & 或-> | 非-> ! -Known formula of a propositional calculus and the variable
相关搜索: 逻辑运算
(系统自动生成,下载前可以参看下载内容)
下载文件列表
MTYS.C
readme.txt
readme.txt