Exercise relationalgebra.cnf

Description
To conjunctive normal form

Derivation

s~ \/ s~ /\ s-~

⇒ relationalgebra.absorp

s~