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

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