本原蘊涵項

本原蘊涵項是指無法繼續消除一個變數因子而且包含儘可能少的變數因子。

本原蘊涵項是指無法與另一個蘊含項相結合的蘊含項，因此不能繼續消除一個變數因子。換句話說，需要尋找蘊含項來覆蓋儘可能多的開狀態項集合中的元素，同時應使本源蘊含項包含儘可能少的變數因子。