Horn clause

A Horn clause is a clause in DNF with at most one positive literal. For example, $\neg S\vee \neg R\vee T$ or $\neg Q\vee \neg S$.