LOOGIKAFUNKTSIOONIDE KLASSID 0-lli säilitav –kui ta kõikide muutujate väärtustamisel 0-ks väärtustub F-n ise ka 0-ks 𝐾0={𝑓(𝑥1…𝑥𝑛) | 𝑓(00…0)=0} {𝑓0,𝑓1,𝑓2,𝑓3,𝑓4,𝑓5,𝑓6,𝑓7}⊂𝐾0 1-te säilitav – kui ta kõikide muutujate väärtustamisel 1-ks väärtustub F-n ise ka 1-ks 𝐾1={𝑓(𝑥1…𝑥𝑛) | 𝑓(11…1)=1} {𝑓1,𝑓3,𝑓5,𝑓7,𝑓9,𝑓11,𝑓13,𝑓15}⊂𝐾1 Pööratav – kui ta oma kõikide muutujate väärtuste inverteerimisel iverteerub ka ise 𝐾𝑝={𝑓(𝑥1…𝑥𝑛) | 𝑓(𝑥1̅̅…𝑥𝑛̅̅)=𝑓̅(𝑥1…𝑥𝑛)} {𝑓3,𝑓5,𝑓10,𝑓12}⊂𝐾𝑝 Monotoonne – kui argumentvektori suurenemisel F-ni väärtus ei vähene 𝐾𝑚={𝑓(𝑥1…𝑥𝑛) | (𝑥1…𝑥𝑛<𝑧1…𝑧𝑛)↔[𝑓(𝑥1…𝑥𝑛)≤𝑓(𝑧1…𝑧𝑛)]} {𝑓0,𝑓1,𝑓3,𝑓5,𝑓7,𝑓15}⊂𝐾𝑚
𝐾0 = {𝑓(𝑥1 … 𝑥𝑛 ) | 𝑓(00 … 0) = 0} {𝑓0 , 𝑓1 , 𝑓2 , 𝑓3 , 𝑓4 , 𝑓5 , 𝑓6 , 𝑓7 } ⊂ 𝐾0 1-te säilitav – kui ta kõikide muutujate väärtustamisel 1-ks väärtustub F-n ise ka 1-ks 𝐾1 = {𝑓(𝑥1 … 𝑥𝑛 ) | 𝑓(11 … 1) = 1} {𝑓1 , 𝑓3 , 𝑓5 , 𝑓7 , 𝑓9 , 𝑓11 , 𝑓13 , 𝑓15 } ⊂ 𝐾1 Pööratav – kui ta oma kõikide muutujate väärtuste inverteerimisel iverteerub ka ise 𝐾𝑝 = {𝑓(𝑥1 … 𝑥𝑛 ) | 𝑓(𝑥 𝑥𝑛 = 𝑓 ̅(𝑥1 … 𝑥𝑛 )} ̅̅̅1 … ̅̅̅) {𝑓3 , 𝑓5 , 𝑓10 , 𝑓12 } ⊂ 𝐾𝑝 Monotoonne – kui argumentvektori suurenemisel F-ni väärtus ei vähene 𝐾𝑚 = {𝑓(𝑥1 … 𝑥𝑛 ) | (𝑥1 … 𝑥𝑛 < 𝑧1 … 𝑧𝑛 ) ↔ [𝑓(𝑥1 … 𝑥𝑛 ) ≤ 𝑓(𝑧1 … 𝑧𝑛 )]}
annaabi.ee 
