conditional logic concepts