将逻辑函数化为与或非形式为2014年真题