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

מתוך ויקיפדיה, האנציקלופדיה החופשית
תוכן שנמחק תוכן שנוסף
מ תקלדה
מ החלפת קוד LaTeX מיושן mw:Extension:Math/Roadmap
שורה 1: שורה 1:
ב[[לוגיקה מתמטית]], '''חִתּוּךְ לוֹגִי''' (או פעולה "'''וגם'''", בלעז '''קוֹנְיוּנְקְצְיָה''') הוא [[קשר לוגי]] היוצר משני [[פסוק (לוגיקה)|פסוקים]] או [[תבניות]] פסוק חדש שהוא אמיתי רק כאשר שני מרכיביו אמיתיים. אם שני הפסוקים מסומנים באותיות A ו-B, החיתוך הלוגי שלהם (A וגם B) יסומן כ- (<math>A \and B</math>).
ב[[לוגיקה מתמטית]], '''חִתּוּךְ לוֹגִי''' (או פעולה "'''וגם'''", בלעז '''קוֹנְיוּנְקְצְיָה''') הוא [[קשר לוגי]] היוצר משני [[פסוק (לוגיקה)|פסוקים]] או [[תבניות]] פסוק חדש שהוא אמיתי רק כאשר שני מרכיביו אמיתיים. אם שני הפסוקים מסומנים באותיות A ו-B, החיתוך הלוגי שלהם (A וגם B) יסומן כ- (<math>A \land B</math>).


הפעולה המקבילה ב[[אלגברה בוליאנית]], נקראת '''AND''', והיא [[פעולה בוליאנית]] שתוצאתה "אמת" (או "1") רק כאשר כל האופרנדים שלה הם "אמת".
הפעולה המקבילה ב[[אלגברה בוליאנית]], נקראת '''AND''', והיא [[פעולה בוליאנית]] שתוצאתה "אמת" (או "1") רק כאשר כל האופרנדים שלה הם "אמת".

גרסה מ־20:33, 14 בנובמבר 2018

בלוגיקה מתמטית, חִתּוּךְ לוֹגִי (או פעולה "וגם", בלעז קוֹנְיוּנְקְצְיָה) הוא קשר לוגי היוצר משני פסוקים או תבניות פסוק חדש שהוא אמיתי רק כאשר שני מרכיביו אמיתיים. אם שני הפסוקים מסומנים באותיות A ו-B, החיתוך הלוגי שלהם (A וגם B) יסומן כ- ().

הפעולה המקבילה באלגברה בוליאנית, נקראת AND, והיא פעולה בוליאנית שתוצאתה "אמת" (או "1") רק כאשר כל האופרנדים שלה הם "אמת".

טבלת האמת של וגם:

T T T
T F F
F T F
F F F

שפות תכנות

במרבית שפות התכנות קיים אופרטור למימוש AND לוגי בביטויים לוגיים, המשמשים בפקודת IF ובפקודת השמה. הצורות המקובלות לכתיבת אופרטור זה: