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