含n個命題變項的簡單合取式(簡單析取式)，若每個命題變項及其否定式不同時出現，而二者之壹必出現且僅壹次，且第i個命題變項或其否定式出現在左起第i位上(按字典序排列)，稱該簡單合取式(簡單析取式)為極小項(極大項)