定義:在有n個命題變量的簡單合取(簡單析取)中,如果每個命題變量及其否定不同時出現,但其中壹個必須只出現壹次,並且第I個命題變量或其否定出現在左起第I個位置(如果命題變量沒有角標,則按字典順序排列),這樣的簡單合取(簡單析取)稱為最小項。
必須是簡單的連詞;第I個命題變量或其否定出現在左起第I個位置(如果命題變量沒有角標,則按字典順序排列)。每個命題變量及其否定不同時出現,但其中壹個必須出現且只出現壹次;必須是簡單的析取;第I個命題變量或其否定出現在左起第I個位置(如果命題變量沒有角標,則按字典順序排列)。如果妳熟悉以上特征,就能很好的判斷極小極大和極大極大!