Exercise relationalgebra.cnf

Description
To conjunctive normal form

Derivation

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

⇒ relationalgebra.absorp

s~