Logic - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

Logic

  

Import

  

express in terms of Logic package operators

 

Calling Sequence

Parameters

Description

Available Conversions

Examples

Calling Sequence

Import(expr, {form})

Parameters

expr

-

expression

form

-

expression where form=MOD2 or form=boolean

Description

• 

The Import command transforms a Maple expression of a specified type into one suitable for use by the Logic package.

Available Conversions

  

The following conversions are available (form must be one of these).

• 

MOD2:  An input polynomial is converted to a boolean expression by mapping multiplication to &and, addition to &xor, 0 to true, and 1 to false.

• 

boolean: Any ternary logical operators (for example, and, or, and not) present in the expression are replaced with the equivalent Logic package operators.

Examples

withLogic:

Importaorborc,form=boolean

abc

(1)

Importnotaxorbc,form=boolean

 Logic:-&implies(&not(a &xor b), c)

Importxy+1+z+1,form=MOD2

¬x¬yxorz

(2)

See Also

boolean

Logic

Logic,operators

Logic[Export]

 


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