Exercise relationalgebra.cnf

Description
To conjunctive normal form

Derivation

V--

⇒ relationalgebra.doublenegation

V