| 释义 |
NAND
“与非”;［“反及”］
A logic operator having the property that if P is a statement, Q is a statement, R is a statement, …, then the NAND of P, Q, R, … is true if at least one statement is false, false if all statements are true.
一种具有如下性质的逻辑运算符:假设P是一个命题,Q是一个命题,R是一个命题……如果其 中至少有一个命题为假,则对P,Q,R,…作NAND运算的结果为真,只有所有的命题均为真时,其运算 结果才为假。同NOTAND,sheffer stroke。 |