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 . · Loogikavalemi keerukus on tema koosseisus olevate algtermide arv. · Loogikavalemi sügavuse määrame järgnevalt: 1. argumendi xi sügavus on 0; 2. F(f1 , f2 ,..., fn ) sügavus on k+1, kui f1 , f2 ,..., fn maksimaalne sügavus on k. Ülesandeid · Lihtsustada järgmine avaldis:
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 . 10 Loogikavalemi keerukus on tema koosseisus olevate algtermide arv. Loogikavalemi sügavuse määrame järgnevalt: 1. argumendi xi sügavus on 0; 2. F(f1 , f2 ,..., fn ) sügavus on k+1, kui f1 , f2 ,..
annaabi.ee 
