加载中…
Extending Sparks’s theorem, we determine the cardinality of the lattice of -clonoids of Boolean functions for certain pairs of clones of Boolean functions. Namely, when is a subclone (a proper subclone, resp.) of the clone of all linear (affine) functions and is a subclone of the clone generated by a semilattice operation and constants (a subclone of the clone of all - or -separating functions, resp.), then the lattice of -clonoids is uncountable. Combining this fact with several earlier results, we obtain a complete classification of the cardinalities of the lattices of -clonoids for all pairs of clones on .

生成讲解博客的中文版本

生成AI智能校验的中文版本