The preparation of the C language program and using of the operating elements truth table to divide the load point outage type makes it much simpler than previous method to the judgment of the outage type .

编制了C语言程序，运用操作元件 真 值 表来划分负荷点的停运类型，使得停运类型的判定比前一 方法更简单。

Through to the encoder truth table characteristic analysis has obtained the direct writing logical expression concrete method using the Karnaugh map most minor term merge rule .

通过对编码器 真 值 表的特点分析，利用卡诺图最小项合并规则得出了直接书写逻辑表达式的具体 方法。

The logical feature of Searle operations is discussed an intricate truth table is given and by using an analytic method of Boolean logic a series of EXCLUSIVE-OR logical transforming formulas of Searle operations and etc is presented .

本文讨论了Searle运算的逻辑特征，给出了交错式 真 值 表，并用布尔逻辑的分析 方法提出了Searle运算、与等的异或逻辑转换公式。

A method of simplifying three-valued T-gate combinational networks & the truth table splitting method

三值T门组合网络化简的一种方法& 真 值 表分割 法

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的主析取范式的定理。

The paper introduces several methods of proof about formula implication : truth table method ; equivalent performing mathematical calculations method ; direct method ;

本论文介绍了公式蕴含的几种证法： 真 值 表 法、等价演算法、直接证法、间接证法等，灵活应用公式蕴含的证明方法，有利于逻辑推理的顺利进行。