最終更新日：2025/11/25
To apply the resolution rule, you should first convert the formula into conjunctive normal form, where it becomes a conjunction of disjunctions of literals like (A or B or C) and (D or E or not F).
正解を見る
To apply the resolution rule, you should first convert the formula into conjunctive normal form, where it becomes a conjunction of disjunctions of literals like (A or B or C) and (D or E or not F).
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
