express in terms of Logic package operators - Maple 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

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

a &or b &or c

(1)

Importnotaxorbc,form=boolean

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

Importxy+1+z+1,form=MOD2

&notx &and &noty &xor z

(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