וגם (לוגיקה)

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

בלוגיקה מתמטית, וגם (או קוניונקציה) הוא קשר לוגי היוצר משני פסוקים או תבניות פסוק או תבנית חדש שאמתי רק כאשר שני מרכיביו אמתיים. אם שני הפסוקים מסומנים באותיות A ו-B, הקוניונקציה שלהם (A וגם B) תסומן כ- (A \and B).

הפעולה המקבילה באלגברה בוליאנית, נקראת AND, והיא פעולה בוליאנית שתוצאתה "אמת" (true) רק כאשר כל האופרנדים שלה הם "אמת". בתחום זה, הסימון המתאים לפעולה AND הוא A * B=F כאשר A ו-B הן הכניסות ו-F הוא התוצאה.

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

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

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

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

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


פעולות בוליאניות

NOT, OR, AND, NOR, NAND, XOR, XNOR

ראו גם: קשר לוגי, טבלת אמת, שער לוגי