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

מבוא לאימות תוכנה

ספר אלקטרוני מאת: ניר אדר

6.5.1. תיאור קבוצה ע"י פונקציה בוליאנית

טענה: כל קבוצה ניתנת לייצוג על ידי פונקציה בוליאנית.

תהי plot:$f$ מהצורה plot:$f:{\left\{ {0,1} \right\}^K} \to \left\{ {0,1} \right\}$, כך ש-plot:$f\left( {{x_1}...{x_x}} \right) = {X_{k + 1}}$ ו-plot:${X_1}...{X_k},{X_{k + 1}} \in \left\{ {0,1} \right\}$.

בהינתן קבוצה U ותת קבוצה A, הפונקציה האופיינית של A  שתסומן plot:${f_A}$ הינה:

נקודד את איברי U ע"י סדרות של plot:$0,1$ (באורך plot:$\log \left| U \right|$) ונסמן ב-plot:$\bar u$ את הקידוד ל-plot:$u$.



תגיות המסמך:

לפרק הקודם6.5. BDD - Binary Decision Diagram
לפרק הבא6.5.2. יצוג מבנה קריפקה על ידי פונקציה בוליאנית - דוגמא
אין תגובות!
שיתוף:
| עוד