Exercise relationalgebra.cnf

Description
To conjunctive normal form

Derivation

((s \/ s) /\ (s \/ s-))~

⇒ relationalgebra.idempotencyor

(s /\ (s \/ s-))~

⇒ relationalgebra.absorp

s~