Logic - Maple Help

Online Help

All Products    Maple    MapleSim


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

Logic

  

Environment

  

control level of automatic logical simplification

 

Calling Sequence

Parameters

Description

Levels of Logical Simplification

Examples

Calling Sequence

Environment(level)

Parameters

level

-

(optional) an integer between 0 and 2 inclusive

Description

• 

The Environment command controls the current environment used for automatic simplification of Boolean expressions, that is, which identities and properties are automatically applied to logical expressions.

• 

If level is not provided, the current simplification level is returned.  If it is provided, the simplification level is set to level and NULL is returned.

  

The default level is 0.

Levels of Logical Simplification

  

The following describes the various levels of logical simplification.

• 

0 -- No simplifications.

• 

1 -- Associative properties are applied to remove redundant parentheses; the input is expressed in terms of &and, &or, and &not.

• 

2 -- In addition to level 1 simplifications, the properties (a &and a --> a) and (a &or a --> a) and knowledge of true and false are applied.

Examples

withLogic

&and,&iff,&implies,&nand,&nor,&not,&or,&xor,BooleanGraph,BooleanSimplify,Canonicalize,Complement,Contradiction,Dual,Environment,Equivalent,Export,Implies,Import,Normalize,Random,Satisfiable,Satisfy,Tautology,TruthTable,Tseitin

(1)

Environment0

a &and b &and a

aba

(2)

a &iff a

Logic:-&iffa,a

(3)

Environment1

a &and b &and a

aab

(4)

a &iff a

aa¬a¬a

(5)

Environment2

a &and b &and a

ab

(6)

a &iff a

a¬a

(7)

See Also

Logic

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam