6 יחסים: DNF, NP-שלמה, או (לוגיקה), תחשיב פסוקים, בעיית הספיקות בתחשיב הפסוקים, וגם (לוגיקה).
DNF
Disjunctive Normal Form או הצורה הנורמלית הדיסיונקטיבית - הוא ביטוי המורכב מאוסף פרדיקטים לוגיים המחוברים ביניהם על ידי ביטויי "או" כאשר כל פרדיקט הוא אוסף של ביטויים המחוברים ביניהם על ידי ביטויי "וגם".
חָדָשׁ!!: CNF וDNF · ראה עוד »
NP-שלמה
#הפניה NP (מחלקת סיבוכיות)#בעיות NP-קשות (NP-Hard) ובעיות NP-שלמות (NPC).
חָדָשׁ!!: CNF וNP-שלמה · ראה עוד »
או (לוגיקה)
בלוגיקה מתמטית, אוֹ או דִּיסְיוּנְקְצְיָה הוא קשר לוגי בינארי, המתאים לשני פסוקים או לשתי תבניות פסוק או תבנית של ערך אמת, כאשר לפחות אחד משני המרכיבים אמיתי.
חָדָשׁ!!: CNF ואו (לוגיקה) · ראה עוד »
תחשיב פסוקים
#הפניה תחשיב הפסוקים.
חָדָשׁ!!: CNF ותחשיב פסוקים · ראה עוד »
בעיית הספיקות בתחשיב הפסוקים
#הפניה בעיית הספיקות.
חָדָשׁ!!: CNF ובעיית הספיקות בתחשיב הפסוקים · ראה עוד »
וגם (לוגיקה)
בלוגיקה מתמטית, חִתּוּךְ לוֹגִי (או פעולה "וגם", בלעז: קוֹנְיוּנְקְצְיָה; סימון: \land) הוא קשר לוגי היוצר משני פסוקים או תבניות פסוק חדש שהוא אמיתי רק כאשר שני מרכיביו אמיתיים.
חָדָשׁ!!: CNF ווגם (לוגיקה) · ראה עוד »