| 术语 | conjunction |
| 释义 | conjunction “与”;合取 1. The Boolean operation whose result has the Boolean value 1 if and only if each operand has the Boolean value 1. 一种布尔操作,当且仅当每个操作数的布尔值都为1时,它的结果的布尔值为1。 同AND operation, intersection。 2. In the predicate calculus, a connector connecting two conjunctive formulas denoted by sign ∧or∩. If A and B are conjunctive formulas, A∧B is also a conjunctive formula. If and only if A and B are all true, A∧B is true. 在谓词演算中,一种连接二个合式公式的连接符,用符号∧或∩表示。若A,B为合式公式, 则A∧B也是合式公式。当且仅当A,B都为真时,A∧B才为真。 3. A logical expression of the form a1∧a2∧…∧an where∧is the AND operation. A particular conjunction of interest is the conjunctive normal form (CNF) of a Boolean expression involvingn variables x1, x2,…,xn. Each ai is of the form (y1∨y2∨…∨yn)where ∨ is the OR operation and yi is equal to xi or the complement of xi. Reducing expressions to conjunctive normal form provides a ready method of determining the equivalence of two Boolean expressions. 一种逻辑表达式a1∧a2∧…∧an,其中∧是AND运算,一个特别 重要的合取运算是涉及n个变量x1,x2,…,xn的布尔表达式的“合取范式”(CNF)。 每一个ai形如下面的形式:(y1∨y2∨…∨yn),其中∨是“析取”运算,且yi等于xi或xi的补。把表达式化简为合取范式提供了一种 判定两个布尔表达式等价的简便方法。比较disjunction。 |
| 随便看 |
|
计算机英汉双解词典包含21137条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。