fixed bug. operator== in Disjunction was testing if the other formula was a Conjunction, not a Disjunction