0:00
エキスパート論理等価性等価性チェック

ホーン節とは、最大で1つの正リテラルを持つ節（リテラルの選言）です。

式: (!A | !B | C)

これはホーン節ですか？