Export - Maple Help

Online Help

All Products    Maple    MapleSim


Logic

  

Export

  

express in terms of Logic package operators

 

Calling Sequence

Parameters

Description

Available Conversions

Examples

Calling Sequence

Export(expr, {form})

Parameters

expr

-

expression suitable for use by the Logic package

form

-

expression where form=MOD2 or form=boolean

Description

• 

The Export command transforms the expression expr into one of a specified type.

Available Conversions

  

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

• 

MOD2: The Boolean expression is converted to its equivalent modulo 2 format by mapping &and to multiplication, &xor to addition, true to 1, and false to 0.

• 

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

Examples

withLogic:

Export`&and`a,b,c&orb,form=boolean

aandbandcorb

(1)

Export`&nor`a,b,c&andb,form=boolean

notaorborcandb

(2)

Export&nota&orb,form=MOD2

1+ab+1

(3)

See Also

boolean

Logic

Logic,operators

Logic[Import]