Dear, Little question when we writing a rules. I would like to know if they are a difference between to write a rule as disjunctive normal form or not into Phreak graph ? Thanks Regards