וגם (לוגיקה)
קשר לוגי היוצר משני פסוקים או תבניות פסוק חדש שהוא אמיתי רק כאשר שני מרכיביו אמיתיים
(הופנה מהדף וגם (לוגי))
בלוגיקה מתמטית, חִתּוּךְ לוֹגִי (או פעולה "וגם", בלעז: קוֹנְיוּנְקְצְיָה; סימון: ) הוא קשר לוגי היוצר משני פסוקים או תבניות פסוק חדש שהוא אמיתי רק כאשר שני מרכיביו אמיתיים. אם שני הפסוקים מסומנים באותיות A ו-B, החיתוך הלוגי שלהם (A וגם B) יסומן כ- ().
הפעולה המקבילה באלגברה בוליאנית, נקראת AND, והיא פעולה בוליאנית שתוצאתה "אמת" (או "1") רק כאשר כל האופרנדים שלה הם "אמת".
טבלת האמת של וגם:
T | T | T |
F | F | T |
F | T | F |
F | F | F |
שפות תכנות
עריכהבמרבית שפות התכנות קיים אופרטור למימוש AND לוגי בביטויים לוגיים, המשמשים בפקודת IF ובפקודת השמה. הצורות המקובלות לכתיבת אופרטור זה:
- AND: בשפות COBOL, Visual Basic
- and: בשפת Python
- &: בשפת PL/I
- &&: בשפת C ובשפות הנובעות ממנה
- ∧: בשפת APL