基本霍恩公式(basic Horn formula)一種簡單形式的公式.如果獷的公式筍是諸公式B，的析取，即}P=B,VBzV…V B‑，其中e,,eZ,...,e。中至多有一個原子公式，其餘是原子公式的否定，則稱公式筍為基本霍恩公式。
由基本霍恩公式通過八，V和」構成的公式稱為霍恩公式.
基本霍恩公式(basic Horn formula)一種簡單形式的公式.如果獷的公式筍是諸公式B，的析取，即}P=B,VBzV…V B‑，其中e,,eZ,...,e。中至多有一個原子公式，其餘是原子公式的否定，則稱公式筍為基本霍恩公式。