Logic and Compound Conditions