וגם (לוגיקה)

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

קפיצה אל: ניווט, חיפוש

בלוגיקה מתמטית, וגם (או קוניונקציה) הוא קשר לוגי היוצר משני פסוקים או תבניות פסוק או תבנית חדש שאמיתי רק כאשר שני מרכיביו אמיתיים. אם שני הפסוקים מסומנים באותיות 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

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