tümel-evetlemeli yasal biçim anlamı İng. conjunctive normal-form Alm. konjunktive Normalform Fr. forme normale conjonctive
Her anabileşeni ayrı bir tikel-evetlemeli kurucu bileşen olan n-li tümel-evetleme. || Hiç bir (boş olmayan) tümel-evetlemeli yasal biçim doğrusal geçerli değildir. Temel mantıklı dillerde her geçersiz önerme (boş olmayan) tümel-evetlemeli bir yasal biçim ile eşdeğerdir. Tümel-evetlemeli yasal biçimlerde kurucu bileşenlerin arasındaki tümel-evetleme imi yazılmaz. Örn. (…) üçlü tümel-evetleme, (...) birli tümel-evetleme, p (kurucu bileşeni bir birli tikel-evetlemeye eşdeğer olan) birli tümel-evetleme olan yasal biçimlerdir. Krş.. tümel-evetlemeli Tam yasal biçim, tümel-evetlemeli en kısa bir yasal biçim.