自足算子
自足算子或自足连结词是在一特定类的算子中只靠自身就能生成所有这些算子的算子。在逻辑中,它是足够生成所有布尔值函数的一个逻辑算子,,这里的
是一个任意集合而
是一个通用的 2-元素集合,典型为
,特别是生成所有的有限布尔函数,
。
单词 | Functional completeness |
释义 |
Functional completeness
中文百科
自足算子自足算子或自足连结词是在一特定类的算子中只靠自身就能生成所有这些算子的算子。在逻辑中,它是足够生成所有布尔值函数的一个逻辑算子,
英语百科
Functional completeness 自足算子In logic, a functionally complete set of logical connectives or Boolean operators is one which can be used to express all possible truth tables by combining members of the set into a Boolean expression. A well-known complete set of connectives is { AND, NOT }, consisting of binary conjunction and negation. The singleton sets { NAND } and { NOR } are also functionally complete. |
随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。