I have found the difference of implication results to be slightly difficult to get used to at first because they are different from conjunctions and disjunctions. However, once the pattern was memorized it became much easier to deal with, to compute.