WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Karnaugh map

Revision #3063 → #3559 · back to history

addedMinterms of a Boolean function2ec8484f2a99

addedMaxterms of a Boolean function84f8c4e4c573

addedExponential cost of Boolean-axiom simplification9fa6d439f73d