Assertion: algebra's operation | /r/HasProperty | nand
Facets:
Source sentences:
text: Sheffer has shown that the constants and the 16 operations can be generated as polynomials in just one constant, which can be 0 or 1, and one binary operation, which can be NAND, \(