将逻辑表达式转化为与非形式