يوجد شكلان عأديان للجبر المنطقي: مجموع المضاريب: مضروب المجاميع: == أولاً:مجموع المضاريب == في هذا الشكل يتكون التابع من مجموع حدود نسميها الحدود الأصغرية، ويرمز للمتحول غير المنفي بالرمزوالمتحول المنفي وترتبط المتحولات فيما بينها بارتباط من النوع ANDوترتبط الحدود مع بعضها بعلاقة OR. الحد الأصغري:الحد الذي يحوي جميع متحولات التابع منفية أو غير منفية بشكل أفرادي والعلاقة بين هذه المتحولات هي علاقة جداء منطقي. Wikipedia