Una clausola di Horn è una clausola (disgiunzione di letterali) con al massimo un letterale positivo.

Espressione: (!A | !B | C)

Questa è una clausola di Horn?