se pravi
še vedno izhajamo iz minimalizirane oblike podanega operatorja
x1 x2 (not x4) or (not x1) (not x3) x4 or (not x1) (not x2) (not x3) or x1 x3 (not x4)
mi bi pa zdej rabi izrazil nor dveh spremenljivk
vseeno katerih
nor lahko zapišemo kot a nor b = (not a) (not b)
in poglejmo v katerih členih MDNO imamo dve spremenljivki k sta obe negirani
v členu x1 x2 (not x4) nimamo
v členu (not x1) (not x3) x4 mamo vsebovan (not x1) (not x3) = x1 nor x3
v členu (not x1) (not x2) (not x3) mamo vsebovan x1 nor x3 al pa x1 nor x2
v členu x1 x3 (not x4) pa spet nimamo dveh negacij tko da ne bo nč
zdej si pa izberemo enga izmed teh dveh parov spremenljivk s katerimi lahko sestavimo nor
recimo x1 pa x2
ni posebnga razloga zakaj sm izbral ta par
in mogoče s tem ne bo šlo
včasih je treba mal poskušat
zdej pa se hočmo znebit ostalih členov in tistga (not x3) v členu kjer je (not x1) (not x2)
se pravi edini vhod k ga bomo mi vezal na to
na ta nor izražen s tem operatorjem
bosta
vhodni spremenljivki a in b (označujem tako, da ne bi zamešal z vhodnimi spremenljivkami v operator)
trenutno že vemo da bomo mogl vezat ti dve vhodni spremenljivki na prva dva vhoda operatorja
recimo x1 = a pa x2 = b
zdej mormo pa ti dve spremenljivki nekako vezat še na x3 pa x4 tko da se bo vse poenostavl na x1 nor x2
pa pojdimo spet po členih
x1 x2 (not x4)
tega člena se hočemo znebit
x1 in x2 sta loh poljubni vrednosti tko da nam ne moreta v splošnem uničiti člena
ampak če nastavimo x4 = x1 ali pa x4 = x2
se nam člen uniči
ker je pač x1 x2 (not x1) = 0
drug člen
(not x1) (not x3) x4
tega tud nočmo
in spet uporabimo isto foro
x4 = x1
(not x1) (not x3) x1 = 0
tretji člen
tega pa hočemo
delno
(not x1) (not x2) (not x3)
znebiti se hočemo (not x3)
tuki pa uporabimo absorbcijo
če nastavimo x3 = x1 ali pa x3 = x2
dobimo npr (not x1) (not x2) (not x1) = (not x1) (not x2)
in še četrti člen
x1 x3 (not x4)
ta se pa uniči zarad istega razloga kot prvi
se pravi imamo
x1 = a
x2 = b
x3 = x1 = a
x4 = x1 = b
se pravi
a nor b = operator(a, b, a, a)