NAND לוגי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה
מ תיקונון
שורה 26:
: "''p'' or ''q''" שווה ל "(''p'' NAND ''p'') NAND (''q'' NAND ''q'')"
 
דברים אלה מובילים למערכת אקסיומות אלטרנטיבית לאלגברה הבוליאנית, אשר מתבססות רק על לפעולהפעולה אחת. במונחי הלוגיקה המתמטית, פירוש הדבר הוא ש-NAND מהווה לבדו '''קבוצה שלמה של קשרים''', דהיינו קבוצת קשרים שבאמצעותה ניתן ליצור כל טבלת אמת מבוקשת. זהו אחד משני קשרים המקיימים תכונה זו: השני הוא [[NOR לוגי]].
 
[[תמונה:NAND.jpg|left|thumb|90px|סמלו של שער NAND בתרשימים אלקטרוניים]]