Boolean Expression Manipulation
Author
Organization: Case Western Reserve University
Department: Department of Mathematics
Old MathSource #
0204-769
Revision date
1992年10月12日
Description
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.
Subject
Keywords
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