truth table method
美 [truːθ ˈteɪbl ˈmeθəd]英 [truːθ ˈteɪbl ˈmeθəd]
- 网络真值表法
truth table method-
The paper introduces several methods of proof about formula implication : truth table method ; equivalent performing mathematical calculations method ; direct method ;
本论文介绍了公式蕴含的几种证法：真值表法、等价演算法、直接证法、间接证法等，灵活应用公式蕴含的证明方法，有利于逻辑推理的顺利进行。
-
To support the truth table method , the properties of the minimal form are cited . Besides , it proves the theorem of the main disjunctive normal form of seeking G with the definition of formula equality .
用极小项的性质给出了真值表求法的证明，用公式相等的定义证明了求G的主析取范式的定理。
-
A method of simplifying three-valued T-gate combinational networks & the truth table splitting method
三值T门组合网络化简的一种方法&真值表分割法