Added disjunction
Added implication
Added conjunction and double implication + examples