Assertion: algebra's operation | /r/HasProperty | binary nand operation ¬(x∧y
Facets:
Source sentences:
text: When the only basic operation is the binary NAND operation ¬(x∧y), Stephen Wolfram has proposed in his book