≣ ( x y -- expr )

Vocabulary

boolean-expr

Inputs

x	a □
y	a □

Outputs

expr

a □

Word description

Material equivalence (if and only if).

(x≣y) ≣ ((x ⋀ y) ⋁ ( ¬ x ⋀ ¬ y))

Definition

USING: kernel ;

IN: boolean-expr

: ≣ ( x y -- expr ) [ ⋀ ] [ [ ¬ ] bi@ ⋀ ] 2bi ⋁ ;