אני צריך עזרה בכתיבת תוכנית של CNF, ב JAVA,
הפונקציה נקראת IS_satesfied,כאשר S פסוג לוגי ב- CNF, וכאשר M הוא מודל (הצבה של ערכי אמת במשתנים)
מישהו מכיר את הנושא הזה ב JAVA ?ויכול לעזור.
איפה נתקעת בדיוק? ועדיף שתפתח בפורום תכנות בעיניי
בברכה,עידן