نظرة عامة شاملة حول شكل عادي منفصل

في جبر بول، شكل عادي منفصل هو من الأشكال العادية للجبر المنطقي لصيغ المنطقية، يتكون من فصل (مسألة مركبة يكون ناتجها صواب إذا كان واحد من أطرافها صائب) المرتبطات، أو يمكن وصفه على انه أو(فصل منطقي) لمجموعة و (عطف منطقي)، أو مجموع المضروبات، أو بالمنطق الفلسفي مفهوم الجمع. كشكل عادي يكون مفيد في اثبات النظرية الآلية.