"שנו את פונקציית הרדוקציה f רק ע"י הוספת פסוקיות..."

האם אנחנו צריכים לשמור על הכלל "עבור כל פסוקית (Xi = b V Xj = c) תיווצר הפסוקית (Xi,b V Xi,c)"
ורק להוסיף עוד כלל/ים שיוסיפו עוד פסוקיות??
או שגם הכלל הנתון הוא בר שינוי ??


תודה.