Logic - Maple Help

Online Help

All Products    Maple    MapleSim


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

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 &or b,form=boolean

aandbandcorb

(1)

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

notaorborcandb

(2)

Export`&not`a &or b,form=MOD2

1+ab+1

(3)

See Also

boolean

Logic

Logic,operators

Logic[Import]

 


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