使用逻辑符号来定义与厘清基础数学概念，例如集合、关系式、函数和整数。
Use logical notation to define and reason about fundamental mathematical concepts such as sets, relations, functions, and integers.
根据对三值逻辑函数输入变量集合的不同划分，可以求出三值逻辑函数列(行)向量的相容关系。
According to different partitions of a set of input variables of the three-valued logic function, the compatibility relations of column (row) vectors of the three-valued logic function can be found.
应用推荐