Sole sufficient operator

From Wikiversity
Jump to navigation Jump to search

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 | edit source]

Focal nodes[edit | edit source]

Peer nodes[edit | edit source]

Logical operators[edit | edit source]

Related topics[edit | edit source]

Relational concepts[edit | edit source]

Information, Inquiry[edit | edit source]

Related articles[edit | edit source]

Document history[edit | edit source]

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.