約束項

邏輯變數之間的約束關係稱為約束。把不允許出現的對應組合對應的最小項稱為約束項。