שני חוקים המתייחסים לשני קודקודי על שונים של עץ החלטה חייבים להיות

אם יש שני קודקודים שונים אז שני החוקים הם בהכרח זרים בעץ החלטה אבל הם לא מחייבים כיסוי מלא.