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

נוספו 1,360 בתים ,  לפני 8 שנים
מ
שוחזר מעריכות של 93.172.50.173 (שיחה) לעריכה האחרונה של 79.176.124.57
אין תקציר עריכה
תגית: הסרת קטגוריות
מ (שוחזר מעריכות של 93.172.50.173 (שיחה) לעריכה האחרונה של 79.176.124.57)
ב[[לוגיקה מתמטית]], '''וגם''' (או '''קוניונקציה''') הוא [[קשר לוגי]] היוצר משני [[פסוק (לוגיקה)|פסוקים]] או [[תבניות]] פסוק או תבנית חדש שאמתי רק כאשר שני מרכיביו אמתיים. אם שני הפסוקים מסומנים באותיות A ו-B, הקוניונקציה שלהם (A וגם B) תסומן כ- (<math>A \and B</math>).
הקיצר, וגם: וגם אומר שיש 3 true, הוא מסומן ב- &&.
 
באנגלית זה 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]] ובשפות הנובעות ממנה
 
{{פעולות בוליאניות}}
 
[[קטגוריה:לוגיקה בוליאנית]]
[[קטגוריה:לוגיקה מתמטית]]
[[קטגוריה:מעגלים ספרתיים]]
[[קטגוריה:תכנות]]
[[קטגוריה:פעולות בינאריות]]