反链在正则三值逻辑函数个数计算中的应用

Antichains and its application for enumerating ternary logic functions

正则三值逻辑函数个数的计算十分复杂，本文将这一问题与ｎ维三元偏序集Ｅｎ以及的幂集中反链的计算联系起来，得到了两个有用的计数公式和，从而为解决这一问题提供了一种新的途径．

The enumeration of ternary logic functions is very complicated. This paper offers a new way for enumerating ternary logic functions by establishing certain connections between enumeration of ternary logic functions and antichains in related posets, especially,the power set of the set of the first n natural numbers.