גישה מהירה יותר מאשר בדפדפן!
10 יחסים: NAND לוגי, אם ורק אם, או (לוגיקה), אופרנד, ערך אמת, פעולה בוליאנית, קשר לוגי, שער לוגי, לא (לוגיקה), טבלת אמת.
NAND לוגי
דיאגרמת ון של NAND, הצבע האדום מסמל תוצאת אמת בלוגיקה מתמטית, NAND (קיצור של Not AND; נקרא גם קו שֶׁפֶר, ומסומן לעיתים בקו אנכי (|) או ב-↑) הוא קשר לוגי המתקבל מצירוף הקשרים לא עם וגם, ולעיתים נקרא לפיכך "לא-וגם".
חָדָשׁ!!: NOR לוגי וNAND לוגי · ראה עוד »
אם ורק אם
אם ורק אם (ראשי תיבות: אמ"ם) או "אימוּם" (בלשון חז"ל: תנאי כפול, וסימונו בלוגיקה פורמלית: \Leftrightarrow, \leftrightarrow או ≡) בתחום הלוגיקה המתמטית הוא קַשָּׁר לוגי בין שתי טענות השקולות זו לזו במובן שכל אחת אמיתית כשהשנייה אמיתית, אך אם אחת אינה אמיתית גם השנייה שגויה.
חָדָשׁ!!: NOR לוגי ואם ורק אם · ראה עוד »
או (לוגיקה)
בלוגיקה מתמטית, אוֹ או דִּיסְיוּנְקְצְיָה הוא קשר לוגי בינארי, המתאים לשני פסוקים או לשתי תבניות פסוק או תבנית של ערך אמת, כאשר לפחות אחד משני המרכיבים אמיתי.
חָדָשׁ!!: NOR לוגי ואו (לוגיקה) · ראה עוד »
אופרנד
אוֹפֵּרַנְדּ במתמטיקה ובשפות מחשב, הוא הנתון עליו פועל אופרטור.
חָדָשׁ!!: NOR לוגי ואופרנד · ראה עוד »
ערך אמת
ערך אמת הוא מונח בו משתמשים בלוגיקה והוא מציין את הערך שביטוי מסוים יכול לקבל.
חָדָשׁ!!: NOR לוגי וערך אמת · ראה עוד »
פעולה בוליאנית
פעולה בוליאנית היא פעולה הפועלת על קבוצה שבה שני איברים בלבד: שקר ואמת (או 0 ו-1).
חָדָשׁ!!: NOR לוגי ופעולה בוליאנית · ראה עוד »
קשר לוגי
קַשָּׁר לוגי הוא פונקציה המייצרת מקבוצה של פסוקים לוגיים, או תבניות לוגיות פסוק חדש או תבנית חדשה בהתאמה.
חָדָשׁ!!: NOR לוגי וקשר לוגי · ראה עוד »
שער לוגי
שער לוגי הוא רכיב פיזיקלי המבצע פעולות באלגברה בוליאנית, או מודל חישובי המייצג שער אידיאלי כזה.
חָדָשׁ!!: NOR לוגי ושער לוגי · ראה עוד »
לא (לוגיקה)
בלוגיקה מתמטית, לא או שלילה הוא קשר לוגי אונארי המתאים לכל פסוק או תבנית את הפסוק או התבנית ההפוכים במובנם ובתנאי האמת שלהם.
חָדָשׁ!!: NOR לוגי ולא (לוגיקה) · ראה עוד »
טבלת אמת
טבלת אמת היא טבלה שמשמשת בלוגיקה בוליאנית ובתחשיב הפסוקים כדי להציג את כל הערכים האפשריים שביטוי מסוים יכול לקבל, בהתאם לערכים האפשריים של מרכיבי הביטוי, והיא מאפשרת לדעת מתי טיעון הוא תקף.
חָדָשׁ!!: NOR לוגי וטבלת אמת · ראה עוד »
