Open main menu

Sole sufficient operator

This page belongs to resource collections on Logic and Inquiry.

A sole sufficient operator is an operator that is sufficient by itself to generate every operator in a specified class of operators.  In the context of logic, it is a logical operator that suffices to generate every boolean-valued function, where is an arbitrary set and where is a generic two-element set, typically in particular, to generate every finitary boolean function,


Document historyEdit