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

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