ar %D9%85%D9%86%D8%B7%D9%82 %D8%AA%D9%88%D8%A7%D9%81%D9%82%D9%8A

المنطق التوافقي هو نوع من أنواع المنطق الرقمي تعتمد فيه المخرجات على المدخلات الحالية فقط.^[1]^[2] يقابله المنطق التسلسلي والذي تعتمد مخرجاته على المدخلات السابقة بالإضافة إلى المدخلات الحالية.

يستخدم المنطق التوافقي في دارات الحاسوب لتنفيذ عمليات جبر بولي على المدخلات وعلى البيانات المخزنة. تحتوي دوائر الكمبيوتر عادةً على مزيج من المنطق التوافقي والمتسلسل. على سبيل المثال، يتم إنشاء جزء وحدة المنطق الحسابي، أو ALU، الذي يقوم بإجراء العمليات الحسابية الرياضية باستخدام المنطق التجميعي. الدوائر الأخرى المستخدمة في أجهزة الكمبيوتر، مثل half adders، full adders، half subtractors، full subtractor، multiplexers، ,وحدات التشفير ووحدات فك التشفير يتم تصنيعها أيضًا باستخدام المنطق التجميعي.

التمثيل

يُستخدم المنطق التوافقي لبناء الدوائر التي تَنتِج مخرجات محددة من مدخلات معينة. يتم بناء المنطق التوافقي بشكل عام باستخدام إحدى طريقتين: «مجموع المنتجات»، أو «ناتج المجاميع». خذ بعين الاعتبار جدول الحقيقة التالي:

$A$	$B$	$C$	Result	Logical equivalent
F	F	F	F	$\neg A\wedge \neg B\wedge \neg C$
F	F	T	F	$\neg A\wedge \neg B\wedge C$
F	T	F	F	$\neg A\wedge B\wedge \neg C$
F	T	T	F	$\neg A\wedge B\wedge C$
T	F	F	T	$A\wedge \neg B\wedge \neg C$
T	F	T	F	$A\wedge \neg B\wedge C$
T	T	F	F	$A\wedge B\wedge \neg C$
T	T	T	T	$A\wedge B\wedge C$