tümel-evetlemeli en kısa bir yasal biçim anlamı İng. minimized conjunctive normal form Alm.minimisierte konjunktive Normalform Fr. forme normale conjonctive minimisée
p gibi bir önermenin tümel-evetlemeli en kısa bir yasal biçim olması, p nin tümel-evetlemeli yasal biçim olup, her kurucu bileşeni p nin bir kurucu bileşeninin alt tikel-evetlemesi olan, p ile doğrusal eşdeğer q gibi başka bir tümel-evetlemeli yasal biçimin bulunmaması demektir. || (…)