Comment Comment by noajshu The monotone, linear, etc. functions are called clones and the clones form a lattice called Post's Latticehttps://en.wikipedia.org/wiki/Post%27s_latticeGiven several logic gates, if their most recent common ancestor in the lattice is the clone of all boolean functions, then that set is universal. This provides a convenient prescription for deciding universality for a new k-input gate. parent noajshu 7 years ago
https://en.wikipedia.org/wiki/Post%27s_lattice
Given several logic gates, if their most recent common ancestor in the lattice is the clone of all boolean functions, then that set is universal. This provides a convenient prescription for deciding universality for a new k-input gate.