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.

tikel-evetlemeli yasal biçim için benzer kelimeler

tikel-evetlemeli yasal biçim, 28 karakter ile yazılır. Ayrıca, t harfi ile başlar, m harfi ile biter. Tüm karakter dağılımı ise, 't', 'i', 'k', 'e', 'l', '-', 'e', 'v', 'e', 't', 'l', 'e', 'm', 'e', 'l', 'i', ' ', 'y', 'a', 's', 'a', 'l', ' ', 'b', 'i', 'ç', 'i', 'm', şeklindedir.
tikel-evetlemeli yasal biçim kelimesinin tersten yazılışı miçib lasay ilemelteve-lekit diziliminde gösterilir.