Jump to content

Sole sufficient operator

From Wikiversity

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,

Syllabus[edit]

Focal nodes[edit]

Peer nodes[edit]

Logical operators[edit]

Related topics[edit]

Relational concepts[edit]

Information, Inquiry[edit]

Related articles[edit]

Document history[edit]

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.