modified to Conjunction one of two Disjunctions
Merge pull request #6 from totem3/patch-1

modified to Conjunction one of two Disjunctions