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

תוכן שנמחק תוכן שנוסף

בשורה

גרסה מ־21:10, 8 באפריל 2014

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

@@ שורה 1: / שורה 1: @@
+ב[[לוגיקה מתמטית]], '''וגם''' (או '''קוניונקציה''') הוא [[קשר לוגי]] היוצר משני [[פסוק (לוגיקה)|פסוקים]] או [[תבניות]] פסוק או תבנית חדש שאמתי רק כאשר שני מרכיביו אמתיים. אם שני הפסוקים מסומנים באותיות 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]] ובשפות הנובעות ממנה
+{{פעולות בוליאניות}}
+[[קטגוריה:לוגיקה בוליאנית]]
+[[קטגוריה:לוגיקה מתמטית]]
+[[קטגוריה:מעגלים ספרתיים]]
+[[קטגוריה:תכנות]]
+[[קטגוריה:פעולות בינאריות]]