Renaming של משתנים קשוריםמוטיבציה:
נניח נתון תהי תגיות המסמך: |
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |
Renaming של משתנים קשוריםמוטיבציה:
נניח נתון תהי תגיות המסמך: |
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |
תיקון
מציעה להחליף את(a¬)
ב
a¬
שכן (a¬) אינו פסוק