וגם (לוגיקה)
מתוך ויקיפדיה, האנציקלופדיה החופשית
בלוגיקה מתמטית, וגם (או קוניונקציה) הוא קשר לוגי היוצר משני פסוקים או תבניות פסוק או תבנית חדש שאמיתי רק כאשר שני מרכיביו אמיתיים. אם שני הפסוקים מסומנים באותיות A ו-B, הקוניונקציה שלהם (A וגם B) תסומן כ- (A)^(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 ובפקודת השמה. הצורות המקובלות לכתיבת אופרטור זה:
- AND: בשפות COBOL, Visual Basic
- &: בשפת PL/I
- &&: בשפת C ובשפות הנובעות ממנה