satisfiable? ( expr -- ? )

Vocabulary

boolean-expr

Inputs

expr

a □

Outputs

?

a boolean

Word description

Return t if the expr can be true.

Examples

USING: boolean-expr prettyprint ; ⊤ satisfiable? .
t

USING: boolean-expr prettyprint ; ⊥ satisfiable? .
f

USING: boolean-expr prettyprint ; X X ¬ ⋀ satisfiable? .
f

USING: boolean-expr prettyprint ; X Y ⋁ X ¬ Y ¬ ⋀ ⋀ satisfiable? .
f

USING: boolean-expr prettyprint ; X Y ⋁ X ¬ Y ⋀ ⋀ satisfiable? .
t

Definition

USING: multi-methods ;

IN: boolean-expr

GENERIC: satisfiable? ( expr -- ? )