Exercise relationalgebra.cnf

Description
To conjunctive normal form

Derivation

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

⇒ relationalgebra.idempotencyor

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

⇒ relationalgebra.absorp

s~