DNF
DNF או הצורה הנורמלית הדיסיונקטיבית היא דרך לכתוב ביטויים לוגיים. ביטוי כזה הוא רשימה של חלקים שמחוברים ב'או'. כל חלק נקרא פסוקית. פסוקית היא קבוצת ליטרלים. ליטרל הוא משתנה (סימן שיכול להיות אמת או שקר) או שלילה שלו. כדי להכניס נוסחה ל‑DNF מוצאים את כל השיפוצים של המשתנים שהופכים את הנוסחה לאמת. ל...
פדורה (הפצת לינוקס)
פדורה (Fedora) היא מערכת הפעלה חופשית מבוססת לינוקס. מערכת הפעלה היא התוכנה שמנהלת את המחשב. פדורה נבנתה על ידי קבוצה של אנשים שעובדים יחד. גם חברת Red Hat עוזרת להם. פדורה כוללת תוכנות חינמיות וקוד פתוח. זה אומר שאנשים יכולים לבדוק ולשפר את התוכנה. יש גרסאות שונות: גרסה למחשב אישי וגרסה לשרתים. ...