Exercise relationalgebra.cnf

Description
To conjunctive normal form

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

Feedback

Path 1

path[]
steps0
major rules0
active labels