結果 : conjunctive normal form solved examples