تحويل أي صيغة منطقية منفصلة إلى صيغة أختزلت. لتنفيذ الاختزال يبدأ بوضع جدول الحقيقة الذي يتحرك كل العناصر التي لها قيمة مساوية لـ "١" عبر صيغها المنطقية وربطها بصيغة «أو»
تَحْوِيلُ أَيِّ صِيغَةٍ مَنْطِقِيَّةٍ مُنْفَصِلَةٍ إِلَى صِيغَةٍ أُخْتَزَلَتْ. لِتَنْفِيذِ الِاخْتِزالِ يُبْدَأُ بِوَضْعِ جَدْوَلِ الْحَقيقَةِ الَّذِي يُتَحَرَّكُ كُلُّ العَناصِرِ الَّتِي لَهَا قِيمَةٌ مُساوِيَةٌ لِـ "١" عَبْرَ صِيَغِهَا الْمَنْطِقِيَّةِ وَرَبْطِهَا بِصِيغَةِ «أَوْ»