לא (לוגיקה)
מתוך ויקיפדיה, האנציקלופדיה החופשית
בלוגיקה מתמטית, לא או שלילה הוא קשר לוגי אונרי המתאים לכל פסוק או תבנית את הפסוק או התבנית ההפוכים במובנם ובתנאי האמת שלהם. כך יהפוך הפסוק 'עומד לרדת גשם' לפסוק 'לא עומד לרדת גשם' והתבנית x=2 תהפוך לתבנית 'x אינו שווה ל-2'.
'לא' הוא אחד משני הקשרים הבסיסיים עליהם בנויה הלוגיקה הפורמלית (השני הוא אם-אז).
באלגברה בוליאנית, הקשר מוכר בשם NOT או שלילה, ומיוצג על ידי פעולה בוליאנית אונרית שתוצאתה "אמת" (true) רק כאשר האופרנד היחיד שלה הוא "שקר" (false).
בתחומים שונים נהוגות דרכים מגוונות לסמן פעולה זו:
|
טבלת האמת של הפעולה הבוליאנית 'NOT' ושל הקשר 'לא' נתונה בטבלה הבאה:
| קלט | תוצאה |
| 0 | 1 |
| 1 | 0 |
(כאשר 1 מייצג 'T' - אמת, ו-0 מייצג 'F' - שקר).
[עריכה] שפות תכנות
במרבית שפות התכנות קיים קיים אופרטור למימוש NOT לוגי בביטויים לוגיים, המשמשים בפקודת IF ובפקודת השמה. הצורות המקובלות לכתיבת אופרטור זה:
- NOT: בשפות COBOL, Visual Basic
- ¬: בשפת PL/I
- !: בשפת C ובשפות הנובעות ממנה
