checking in Boolean Logic