added class for disjunctions and created BinaryConnective class for conjunction, disjunction and implication shared code