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