Exercise relationalgebra.cnf

Description
To conjunctive normal form

Derivation

(V- /\ (V- ; (s /\ q) \/ s))-

⇒ relationalgebra.remredunexprs

V--

⇒ relationalgebra.doublenegation

V