Minimal axioms for Boolean algebra
id:
minimal-axioms-for-boolean-algebra-273-14119522
title:
Minimal axioms for Boolean algebra
text:
In mathematical logic, minimal axioms for Boolean algebra are assumptions which are equivalent to the axioms of Boolean algebra, chosen to be as short as possible. For example, an axiom with six NAND operations and three variables is equivalent to Boolean algebra: where the vertical bar represents the NAND logical operation. It is one of 25 candidate axioms for this property identified by Stephen Wolfram, by enumerating the Sheffer identities of length less or equal to 15 elements that have no n
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Minimal_axioms_for_Boolean_algebra
date created:
date modified:
2023-10-18T00:02:50Z
main entity:
{"identifier":"Q4059939","url":"https://www.wikidata.org/entity/Q4059939"}
image:
fields total:
13
integrity:
13