Logic Package - Boolean - Logic - Programming - Maple Help - Maplesoft

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Logic : Boolean : Logic Package

Logic Package

Category Documents

Page 1 of 1
Logic/BooleanSimplify
simplify Boolean expression

Logic/Canonicalize
get a canonical representation of an expression

Logic/Dual
construct the dual of a Boolean expression

Logic/Environment
control level of automatic logical simplification

Logic/Equivalent
test for logical equivalence

Logic/Export
express in terms of Logic package operators

Logic/Import
express in terms of Logic package operators

Logic/Normalize
normalize a Boolean expression

Logic/Random
construct a random Boolean function

Logic/Satisfy
find a valuation satisfying an expression

Logic/Tautology
test for a tautology

Logic/TruthTable
construct the truth table of a Boolean expression

Logic/operators
Logic Package Operators

Logic
Overview of the Logic Package

Page 1 of 1