Exercise relationalgebra.cnf

Description
To conjunctive normal form

(r ; (s /\ s) \/ s) /\ (r ; (s /\ s) \/ q ! I)
ready: yes

Feedback

Path 1

path[0]
steps1
major rules0
active labels
  • tocnf

enter tocnf