真值表方法是命题逻辑的一种重要的方法。
Using a truth table is one of the important ways for proposition logic.
内容包括逻辑真值表，逻辑函数式，卡诺图。
The Maximum Formula of Logic Function and Its Simplification of Karnaugh Diagram;
实质上，我们需要编写一组udf，实现下列位操作真值表。
Basically we need to write a set of UDFs that will realize the following bit operation truth tables.
本文利用布尔函数的真值表，给出了一类全新的密钥流生成器。
A complete new stream key generator is proposed in this paper with the truth table of Boolean functions.
设计任务主要是确定哪些类型的电路将执行真值表中所描述的功能。
The design task is largely to determine what type of circuit will perform the function described in the truth table.
在设计数字电路时，设计者往往一开始就真值表描述电路所应该做的。
In designing digital circuits, the designer often begins with a truth table describing what the circuit should do.
本文讨论了复杂多项式计算，提出了一种实现真值表查询的光学新方法。
The calculation of a complex-multinomial is discussed and a new optical method performing truth-table look-up processing is proposed.
真值表是形式逻辑中广泛使用的一种逻辑方法，也是一种非常有用的工具。
The truth value table is both a kind of logic approach widely used in formal logic and a very useful tool.
一种布尔运算符，当与其相关联的两个变量中仅有一个为真时，其真值表才取值为真。
Boolean operator that gives a truth table value of true if only one of the two variables it connects is true.
基于真值表和卡诺图的等价性，本文提出一种基于真值表搜索的逻辑函数自动化简方法。
Based on the equivalence of the true table and Karnaugh map, a novel general method of simplifying logical functions is proposed in this paper.
采用真值表法进行相机标定，将镜头畸变非线性微分化，有效克服了镜头畸变造成的影响。
The true value diagrams are used to do the camera calibration. This method takes nonlinear distortion of the lens.
通过对编码器真值表的特点分析，利用卡诺图最小项合并规则得出了直接书写逻辑表达式的具体方法。
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.
最后，为了建立一个单一的布尔表达式描述真值表作为一个整体，我们同这四个产品的布尔表达式一起此外。
Finally, we join these four Boolean product expressions together by addition, to create a single Boolean expression describing the truth table as a whole.
采用光强的互补编码，利用体全息关联特性，构造了一种内容寻址的、基于与非操作的光学全息真值表查询系统。
Adopting complementary-encoding of light intensity and volume holography, a content-addressable optical holography truth table look-up system based on the NAND operation is structured.
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。
The definition of establishment of mutually inverse proper implication in mutually-inversistic logic is the same as that of material implication in classical logic, but their meanings are different.
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。
The definition of establishment of mutually inverse proper implication in mutually-inversistic logic is the same as that of material implication in classical logic, but their meanings are different.
应用推荐