Exercise relationalgebra.cnf

Description
To conjunctive normal form

All applications

• Rule	relationalgebra.buggy.assoc
  Location	[0]

• Rule	relationalgebra.buggy.demorgan
  Location	[]

• Rule	relationalgebra.buggy.demorgan
  Location	[]

• Rule	relationalgebra.buggy.demorgan
  Location	[]

• Rule	relationalgebra.buggy.parenth
  Location	[]

• Rule	relationalgebra.demorganand
  Location	[]

  

  (q ! V)- \/ (q ! V- \/ V)-

  ready: yes

• Rule	relationalgebra.remredunexprs
  Location	[0,0]

  

  (V /\ (q ! V- \/ V))-

  ready: no

• Rule	relationalgebra.remredunexprs
  Location	[0,1]

  

  ((q ! V) /\ V)-

  ready: no