tikel-evetllemeli en kısa bir yasal biçim

p gibi bir önermenin tikel-evetlemeli en kısa bir yasal biçim olması, p nin tikel-evetlemeli yasal biçim olup, her kurucu bileşeni p nin bir kurucu bileşeninin ait tümel-evetlemesi olan, p ile doğrusal eşdeğer q gibi başka bir tikel-evetlemeli yasal biçimin bulunmaması demektir. || Biçimsel tanım: (p tikel-evetlemeli en kısa yasal biçimdir) (...) {(p tikel-evetlemeli yasal biçimdir) (...) [(q tikel-evetlemeli yasal biçimdir) (...) (q nun her kurucu bileşeni p nin bir kurucu bileşeninin alt tümel-evetlemesidir) (?) Örn. pqvqrvpr.