find a valuation satisfying an expression - Maple Help

Online Help

All Products    Maple    MapleSim


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

Logic[Satisfy] - find a valuation satisfying an expression

Calling Sequence

Satisfy(expr, alpha)

Parameters

expr

-

Boolean expression

alpha

-

(optional) list or set of names

Description

• 

The Satisfy command returns a set of equations representing an assignment to the variables of the given Boolean expression expr that satisfy  the expression expr. If expr is not satisfiable , then NULL is returned.

• 

If the optional second parameter is present, the valuation includes all variable names in alpha.

Examples

withLogic:

Satisfya &or b

a=true,b=false

(1)

Satisfya &or b,a,b,c

a=true,b=false,c=false

(2)

Satisfya &and `&not`a

Satisfya &implies b &xor `&not`c

a=false,b=false,c=false

(3)

See Also

Logic, Logic/Equivalent


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