|
|
|
|
|
|
|
|
|
Boolean Expression Manipulation
|
|
|
|
|
|
Organization: | Case Western Reserve University |
Department: | Department of Mathematics |
|
|
|
|
|
|
0204-769
|
|
|
|
|
|
1992-10-12
|
|
|
|
|
|
This is a package for the manipulation of Boolean expressions as functions of the built-in Mathematica True and False symbols. The package will produce truth tables, evaluate tautologies, and test for equivalence. It will also return the Boolean expression in either Disjunctive Normal Form or Conjunctive Normal Form using the DNF and CNF functions.
|
|
|
|
|
|
|
|
|
|
|
|
Applied Mathematics, Boolean algebra, boolean expressions, boolean logic, true, false, truth table, truthtable, tautology, tautologyq, disjunctive normal form, conjunctive normal form
|
|
|
|
|
|
| Boolean.m (4.3 KB) - Mathematica Package |
|
|
|
|
|
|
|
| | | | | |
|