最終更新日：2024/08/01
(logic) A clause (disjunction of literals) with at most one positive literal.
正解を見る
Horn clause
編集履歴（0）
(logic) A clause (disjunction of literals) with at most one positive literal.
Horn clause
DiQt（ディクト）
無料
★★★★★★★★★★
