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.
tikel-evetllemeli en kısa bir yasal biçim ile benzer kelimeler
tümel-evetlemeli en kısa bir yasal biçimİng. minimized conjunctive normal formp gibi bir önermenin 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 ... |
boş tikel-evetlemeli yasal biçimİng. empty disjunctive normal formKurucu bileşen sayısı sıfır olan tikel-evetlemeli yasal biçim, || Her doğrusal tutarsız önerme, ile eşdeğerdir. |
tikel-evetlemeli tam yasal biçimİng. full disjunctive normal formAynı yalınç bileşenli kurucu bileşenlerden oluşan tikel-evetlemeli yasal biçim. || Örn. ( ) |
tikel-evetlemeli yasal biçimİng. disjunctive normal formHer anabileşeni ayrı bir tümel-evetlemeli kurucu bileşen olan n-li tikel-evetleme. || Hiç bir (boş olmayan) doğrusal tutarsız değildir. Temel mantıklı dillerde her tutarlı önerme (boş olmayan) tikel-evetlemeli bir yasal biçim i... |
birli yüklemli yasal biçimİng. monadic canonical formAnabileşenleri birliyüklemli kurucu bileşenler olan n-li tikel-evetleme. || Birli-yüklemli yasal biçimin tutarsızlığının gerekli-yeterli koşulu, her anabileşeninin tutarsız olmasıdır. Örn. ( ) |
önekli yasal biçimİng. prenex normal formn sayıda (...) art arda gelen niceleyici (ön ek) ile bunların etki alanı olan niceleyecisiz birtamdeyimden (üreteç) oluşan tamdeyim. || (Temel mantıklı dillerde her önerme bir ön ekli yasal biçim ile eşdeğerdir.) Örn. ( ) biçimindeki... |
önekli yasal biçim üreteciİng. matrix of a prenex normal formÖnekli yasal biçimde niceleyicilerin etki alanı olan niceleyicisiz tam deyim. |
tümel-evetlemeli tam yasal biçimİng. full conjunctive normal formAynı yalınç bileşenli kurucu bileşenlerden oluşan tümel-evetlemeli yasal biçim, Örn. ( ) |
"tikel-evetllemeli en kısa bir yasal biçim" karakter analizi
- tikel-evetllemeli en kısa bir yasal biçim, 41 karakter ile yazılır.
- t harfi ile başlar, m harfi ile biter.
Karakter dağılımı
- 't', 'i', 'k', 'e', 'l', '-', 'e', 'v', 'e', 't', 'l', 'l', 'e', 'm', 'e', 'l', 'i', ' ', 'e', 'n', ' ', 'k', 'ı', 's', 'a', ' ', 'b', 'i', 'r', ' ', 'y', 'a', 's', 'a', 'l', ' ', 'b', 'i', 'ç', 'i', 'm', şeklindedir.
- tikel-evetllemeli en kısa bir yasal biçim kelimesinin tersten yazılışı ' miçib lasay rib asık ne ilemellteve-lekit' diziliminde gösterilir.