וגם (לוגיקה)

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

בלוגיקה מתמטית, חִתּוּךְ לוֹגִי (או פעולה "וגם", בלעז קוֹנְיוּנְקְצְיָה) הוא קשר לוגי היוצר משני פסוקים או תבניות פסוק חדש שהוא אמיתי רק כאשר שני מרכיביו אמיתיים. אם שני הפסוקים מסומנים באותיות A ו-B, החיתוך הלוגי שלהם (A וגם B) יסומן כ- ().

הפעולה המקבילה באלגברה בוליאנית, נקראת AND, והיא פעולה בוליאנית שתוצאתה "אמת" (או "1") רק כאשר כל האופרנדים שלה הם "אמת".

טבלת האמת של AND:

קלטים תוצאה
0 0 0
1 0 0
0 1 0
1 1 1

(כאשר 1 מייצג אמת, ו-0 מייצג שקר)

שפות תכנות[עריכת קוד מקור | עריכה]

במרבית שפות התכנות קיים אופרטור למימוש AND לוגי בביטויים לוגיים, המשמשים בפקודת IF ובפקודת השמה. הצורות המקובלות לכתיבת אופרטור זה: