Exercise relationalgebra.cnf

Description
To conjunctive normal form

Derivation

(s \/ s)~

⇒ relationalgebra.idempotencyor

s~