logic analysis example