וגם (לוגיקה) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
אין תקציר עריכה
תגית: הסרת קטגוריות
שורה 1:
הקיצר, וגם: וגם אומר שיש 3 true, הוא מסומן ב- &&.
ב[[לוגיקה מתמטית]], '''וגם''' (או '''קוניונקציה''') הוא [[קשר לוגי]] היוצר משני [[פסוק (לוגיקה)|פסוקים]] או [[תבניות]] פסוק או תבנית חדש שאמתי רק כאשר שני מרכיביו אמתיים. אם שני הפסוקים מסומנים באותיות A ו-B, הקוניונקציה שלהם (A וגם B) תסומן כ- (<math>A \and B</math>).
באנגלית זה AND. נניח ש A=T וN=R וD=U ובגלל זה הלוח הבינארי הולך בתרשים זרימה זה.
 
'''הרחבה'''
הפעולה המקבילה ב[[אלגברה בוליאנית]], נקראת '''AND''', והיא [[פעולה בוליאנית]] שתוצאתה "אמת" (true) רק כאשר כל האופרנדים שלה הם "אמת". בתחום זה, הסימון המתאים לפעולה AND הוא A * B=F כאשר A ו-B הן הכניסות ו-F הוא התוצאה.
אם אתם רוצים להרחיב את ידיעתכם על מה זה "וגם", תעשו תואר ראשון במדעי המחשב, לוגיקה או מתמטיקה.
 
[[טבלת אמת|טבלת האמת]] של AND:
{| border="1"
!colspan="2" | קלטים !! תוצאה
|-
| 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 (שפת תכנות)|C]] ובשפות הנובעות ממנה
 
{{פעולות בוליאניות}}
 
[[קטגוריה:לוגיקה בוליאנית]]
[[קטגוריה:לוגיקה מתמטית]]
[[קטגוריה:מעגלים ספרתיים]]
[[קטגוריה:תכנות]]
[[קטגוריה:פעולות בינאריות]]