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

תוכן שנמחק תוכן שנוסף
מ שוחזר מעריכה של 80.230.255.60 (שיחה) לעריכה האחרונה של דוד שי
אין תקציר עריכה
שורה 1:
ב[[לוגיקה מתמטית]], '''וגם''' (או '''קוניונקציה''') הוא [[קשר לוגי]] היוצר משני [[פסוקים]] או [[תבניות]] פסוק או תבנית חדש שאמיתי רק כאשר שני מרכיביו אמיתיים. אם שני הפסוקים מסומנים באותיות A ו-B, הקוניונקציה שלהם (A וגם B) תסומן כ- (A)^( \and B).
 
הפעולה המקבילה ב[[אלגברה בוליאנית]], נקראת '''AND''', והיא [[פעולה בוליאנית]] שתוצאתה "אמת" (true) רק כאשר כל האופרנדים שלה הם "אמת". בתחום זה, הסימון המתאים לפעולה AND הוא A * B=F כאשר A ו B הן הכניסות ו F הוא התוצאה.