Also known as functionally complete
property of a set of logical connectives which can express all possible truth tables by combining members of the set
自足算子或自足连结词是在一特定类的算子中只靠自身就能生成所有这些算子的算子。在逻辑中,它是足够生成所有布尔值函数的一个逻辑算子,,这里的 是一个任意集合而 是一个通用的 2-元素集合,典型为 ,特别是生成所有的有限布尔函数,。
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).