וגם (לוגיקה)

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

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

טבלת האמת של וגם:

$A$	$B$	$A\wedge B$
T	T	T
T	F	F
F	T	F
F	F	F

שפות תכנות

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

• AND: בשפות COBOL, Visual Basic
• &: בשפת PL/I
• &&: בשפת C ובשפות הנובעות ממנה