בעיית הספיקות
SAT היא שאלה במחשבים. שואלים אם אפשר לתת לכל משתנה אמת או שקר. מטרת השאלה היא לראות אם המשפט הכולל יהיה אמיתי. משפט נקרא ספיקה אם יש דרך לבחור ערכים כך שהוא יהיה אמיתי. למשל, "A או B" ספיקה. אפשר לשים A כאמיתי. אבל "A וגם לא A" לא אפשרי. לעיתים כותבים את הנוסחאות בצורה שנקראת CNF. זו צורה שבה יש הרב...
DNF
DNF או הצורה הנורמלית הדיסיונקטיבית היא דרך לכתוב ביטויים לוגיים. ביטוי כזה הוא רשימה של חלקים שמחוברים ב'או'. כל חלק נקרא פסוקית. פסוקית היא קבוצת ליטרלים. ליטרל הוא משתנה (סימן שיכול להיות אמת או שקר) או שלילה שלו. כדי להכניס נוסחה ל‑DNF מוצאים את כל השיפוצים של המשתנים שהופכים את הנוסחה לאמת. ל...
דמוסתנס
דמוסתנס חי באתונה במאה הרביעית לפני הספירה. הוא היה נואם גדול. "נואם" זה מישהו שמדבר מול קהל. הוא נולד עם קול חלש וגמגום. כדי לשפר את קולו נאם מול הים. כדי לתרגל דיבור הוא שים חלוקי אבנים בפיו. כדי לעצור תנועות בכתף תלה שם חרב. הוא למד היסטוריה ומשפטים. עבד ככותב נאומים ועזר לאזרחים בתביעותיהם. אח...
ארנבאים
ארנבאים הם קבוצה של יונקים. השם המדעי שלהם הוא Lagomorpha. הקבוצה כוללת ארנבים, ארנבות ופיקות. הם בדרך כלל חיים על הקרקע. יש להם שיניים חותכות (השיניים הקדמיות). מאחורי החותכות יש שתי שיניים קטנות. יש גם מלתעות (שיני לעיסה). כל השיניים שלהם צומחות כל הזמן. הלסת התחתונה נעה גם מצד לצד וגם קדימה־אחו...
CNF
CNF היא דרך לכתוב נוסחאות לוגיות. הנוסחה מורכבת מפסוקיות שמחוברות ב'ו'. קוניונקציה זה 'ו'. כל פסוקית היא קבוצה של ליטרלים. ליטרל הוא משתנה או לא שלו. בתוך הפסוקית משתמשים ב'או'. דיסיונקציה זה 'או'. לדוגמה: (x1 או לא x3) ו-(x2) ו-(x2 או x5 או לא x6 או xn). כדי להעביר נוסחה ל-CNF אפשר למצוא את כ...
תיקו
תיקו היא מילה מארמית. מארמית היא שפה עתיקה. פירוש המילה הוא "תעמוד". כלומר: השאלה נשארת בלי תשובה. בתלמוד, כשהחכמים לא יכלו להחליט, הם כתבו "תיקו". זה אומר שאין פתרון ברור עכשיו. יש גם פירוש שאומר שאליהו הנביא (אדם שיאמרו כי יבוא בעתיד) יפתור את הבעיה. במשחקים תיקו זה שוויון. בכדורגל נותנים נקודה ...