i , kus ( xi) = x ,kui_ = 0 i i Iga loogikafunktsioon on esitatav oma konstituentide disjunktsioonina. Loogikafunktsiooni esitamiseks kasutame loogikavalemeid. · Loogikavalem on samaselt tõene, kui iga argumentide vektori ( x1 , x2 ,..., xn ) puhul f(x1 , x2 ,..., xn )=1. Samaselt tõene valem - tautoloogia. · Loogikavalem on samaselt väär, kui iga argumentide vektori ( x1 , x2 ,..., xn ) puhul f(x1 , x2 ,..., xn )=0. · Loogikavalemid f1 ja f2 samaväärsed, kui iga argumentide vektori ( x1 , x2 ,..., xn ) puhul f1(x1 , x2 ,..., xn )= f2(x1 , x2 ,..., xn )=. · Algtermiks nimetame argumenti xi või tema inversiooni xi .
i , kus xi x ,kui_ 0 i i Iga loogikafunktsioon on esitatav oma konstituentide disjunktsioonina. Loogikafunktsiooni esitamiseks kasutame loogikavalemeid. Loogikavalem on samaselt tõene, kui iga argumentide vektori ( x1 , x2 ,..., xn ) puhul f(x1 , x2 ,..., xn )=1. Samaselt tõene valem - tautoloogia. Loogikavalem on samaselt väär, kui iga argumentide vektori ( x1 , x2 ,..., xn ) puhul f(x1 , x2 ,..., xn )=0. Loogikavalemid f1 ja f2 samaväärsed, kui iga argumentide vektori ( x1 , x2 ,..., xn ) puhul f1(x1 , x2 ,..., xn )= f2(x1 , x2 ,..., xn )=. Algtermiks nimetame argumenti xi või tema inversiooni xi .
annaabi.ee 
