عطف منطقی
در منطق و ریاضیات، عطف منطقی (به انگلیسی: Logical conjunction) یا همان «وَ» یک عملگر منطقی دوتایی است، که نتیجۀ آن در صورت�� که هر دو عملوند آن درست باشد، درست خواهد بود و در غیر این صورت نادرست است.
AND | |
---|---|
تعریف | |
جدول درستی | |
دروازه منطقی | |
فرمهای نرمال | |
فرم فصلی | |
فرم اشتراکی | |
چند جملهای ژگالکین | |
مشبکه پست | |
نگهداری 0 | بلی |
نگهداری 1 | بلی |
یکنوا | خیر |
همگر | خیر |
تعریف
ویرایشعطف منطقی یک عملگر روی دو ارزش منطقی، نوعاً ارزش دو گزاره، است که اگر و تنها اگر هر دو عامل درست باشد مقدار درست میدهد.
جدول درستی
ویرایشجدول درستی یا جدول صدق و کذب p و q (همچنین به صورت p ∧ q در منطق یا p q در الکترونیک هم نوشته میشود).
د | د | د |
د | ن | ن |
ن | د | ن |
ن | ن | ن |
نمودار ون
ویرایشنمودار ون A و B (ناحیۀ قرمز درست است).
منابع
ویرایش- مشارکتکنندگان ویکیپدیا. «Logical conjunction». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۱ ژوئیه ۲۰۰۸.