本原蘊涵項

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