Wolfram Library Archive


All Collections Articles Books Conference Proceedings
Courseware Demos MathSource Technical Notes
Title Downloads

Boolean Expression Manipulation
Author

Charles Wells
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

*Mathematics > Foundations of Mathematics > Logic
Keywords

Applied Mathematics, Boolean algebra, boolean expressions, boolean logic, true, false, truth table, truthtable, tautology, tautologyq, disjunctive normal form, conjunctive normal form
Downloads Download Wolfram CDF Player

Download
Boolean.m (4.3 KB) - Mathematica Package