Exercise relationalgebra.cnf

Description
To conjunctive normal form

s~
ready: yes

Feedback

Path 1

path[0]
steps1
major rules0
active labels
  • tocnf

enter tocnf