הועלה לאתר:  
מספר עמודים: 25
הורדת המסמך בגרסה להדפסהלהורדת המסמך בשלמותו

לוגיקה - סיכום נקודות

סיכום מאת: ניר אדר

פסוקים מצורת CNF

  1. הגדרת Disj – בסיס: plot:\[\left\{ {{p_i}|i \in \mathbb{N}} \right\} \cup \left\{ {\neg {p_i}|i \in \mathbb{N}} \right\} \cup \left\{ {T,F} \right\}\]. סגור: plot:\[\left\{ {{f_ \vee }} \right\}\].
  2. הגדרת CNF – בסיס: Disj. סגור: plot:\[\left\{ {{f_ \wedge }} \right\}\].

משפט ה-CNF: לכל פסוק plot:\[\alpha \] קיים פסוק שקול plot:\[\alpha '\] מצורת CNF.

תגיות המסמך:

לפרק הקודםפסוקים מצורת DNF
לפרק הבאהוכחה מתוך הנחות
מאת: bentz

תיקון

מציעה להחליף את
(a¬)
ב
a¬
שכן (a¬) אינו פסוק
מאת: משה ב

סמנטיקה
שיתוף:
| עוד