Exercise relationalgebra.cnf

Description
To conjunctive normal form

Derivation

((s \/ s) /\ V)~

⇒ relationalgebra.remredunexprs

(s \/ s)~

⇒ relationalgebra.idempotencyor

s~