10(1,0) reikšmių palyginti negalime (žr. 25 psl.). Taigi funkcija N(x, y) yra monotoninė.(25 psl.)Tiesinių funkcijų klasė apibrėžiama taip:T L = {f : f(x 1 , x 2 , · · · , x n ) = c 0 ⊕ c 1 &x 1 ⊕ c 2 &x 2 ⊕ · · · ⊕ c n &x n }Ištirkime funkciją K(x, y) = x&y. Jeigu ji yra tiesinė, taix&y = c 0 ⊕ c 1 &x ⊕ c 2 &y.Pasinaudojus funkcijos K(x, y) teisingumo lentele surasime koeficientus c i . Įstatysimeį gautą išraišką kelias kintamųjų kombinacijas ir prilyginsime rezultatą atsakymuiiš teisingumo lentelės:K(0, 0) = 0, tuomet c 0 ⊕ c 1 &0 ⊕ c 2 &0 = c 0 = 0,K(0, 1) = 0, tuomet 0 ⊕ c 1 &0 ⊕ c 2 &1 = c 2 = 0,K(1, 0) = 0, tuomet 0 ⊕ c 1 &1 ⊕ 0&0 = c 1 = 0,Taigi gavome, kad x&y = 0 ⊕ 0&x ⊕ 0&y. Tačiau, įstačius į šią išraišką (1, 1)gauname, kad 1&1 = 1, bet 0⊕0&1⊕0&1 = 0. Tai reiškia, kad funkcija K(x, y)nėra tiesinė.Bulio funkcija L(w, b, v) apibrėžta formule ((b ⊕ w) | v) ↓ b.Ar ji yra tiesinė?Sprendimas. Jeigu funkcija yra tiesinė, tai ją galime perrašyti tokiu pavidalu:L(w, b, v) = ((b ⊕ w) | v) ↓ b = c 0 ⊕ c 1 &w ⊕ c 2 &b ⊕ c 3 &w.Sudarykime teisingumo lentelę:
1. MATEMATINĖ LOGIKA IR BULIO FUNKCIJOS 11w b v b b ⊕ w (b ⊕ w)|v ((b ⊕ w)|v) ↓ b L(w, b, v)0 0 0 1 1 1 0 10 0 1 1 1 0 0 10 1 0 0 0 1 0 10 1 1 0 0 1 0 11 0 0 1 0 1 0 11 0 1 1 0 1 0 11 1 0 0 1 1 0 11 1 1 0 1 0 1 0Pasinaudojus funkcijos L(w, b, v) teisingumo lentele surasime koeficientus c i .Įstatysime į gautą išraišką kelias kintamųjų kombinacijas ir prilyginsime rezultatąreikšmei iš teisingumo lentelės:L(0, 0, 0) = c 0 ⊕ c 1 &0 ⊕ c 2 &0 ⊕ c 3 ⊕ 0 = c 0 ⊕ 0 = 1, t.y. c 0 = 1;L(0, 0, 1) = 1 ⊕ c 1 &0 ⊕ c 2 &0 ⊕ c 3 ⊕ 1 = c 3 ⊕ 1 = 1, t.y. c 3 = 0;L(0, 1, 0) = 1 ⊕ c 1 &0 ⊕ c 2 &1 ⊕ 0&0 = c 2 ⊕ 1 = 1, t.y. c 2 = 0;L(1, 0, 0) = 1 ⊕ c 1 &1 ⊕ 0&0 ⊕ 0&0 = c 1 ⊕ 1 = 1, t.y. c 1 = 0;t.y. L(w, b, v) = 1 ⊕ 0&w ⊕ 0&b ⊕ 0&v ≡ 1, kas reikštų, kad visos funkcijosL(w, b, v) reikšmės lygios vienetui ir nepriklauso nuo loginių kintamųjų. Tačiauiš teisingumo lentelės matome, kad L(1, 1, 1) = 0. Kadangi gavome prieštaravimą,tai funkcija L(w, b, v) nėra tiesinė.(12 psl.)Formulės gylis, prefiksinis pavidalasNustatykite propozicinės formulės(((p ⊕ z) ⇒ b) | (z&e)) ∨ (b ⇔ (p ⇒ z)) gylį.SprendimasLoginiai kintamieji b, e, p, ir z yra nulinio gylio formulės. Pirmojo gylio formulėsgaunamos iš jų, panaudojus vieną propozicinę jungtį (atlikus vieną loginęoperaciją). Pažymėkime pirmojo gylio formules A i , kur i yra formulės numeris:A 1 = p, A 2 = z, A 3 = p ⇒ z. Perrašykime pradinę formulę, naudojant šiuosžymėjimus:(((A 1 ⊕ A 2 ) ⇒ b) | (A 2 &e)) ∨ (b ⇔ A 3 ).