結果 : disjunctive normal form solved examples