tikel-evetlemeli yasal biçim

Her anabileşeni ayrı bir tümel-evetlemeli kurucu bileşen olan n-li tikel-evetleme. || Hiç bir (boş olmayan) tikel-evetlemeli yasal biçim doğrusal tutarsız değildir. Temel mantıklı dillerde her tutarlı önerme (boş olmayan) tikel-evetlemeli bir yasal biçim ile eşdeğerdir. Örn. (...) üçlü tikel-evetleme, pq birli tikel-evetleme, p (kurucu bileşeni bir birli tümel-evetlemeye eşdeğer olan) birli tikel-evetleme olan yasal biçimlerdir || Krş.. tikel-evetlemeli tam yasal biçim, tikel-evetlemeli en kısa bir yasal biçim.