Mostrando entradas con la etiqueta computació-teoría. Mostrar todas las entradas
Mostrando entradas con la etiqueta computació-teoría. Mostrar todas las entradas

viernes, 16 de agosto de 2019

funció mov

mov(<0,0>)=<1,1>·<0,0>=<0,0>
mov(<(-1),(-1)>)=(-1)·<(-1),(-1)>·<(-1),(-1)>=<(-1),(-1)>


mov(<0,1>)=<1,1>·<0,1>=<0,1>
mov(<(-1),0>)=(-1)·<(-1),(-1)>·<(-1),0>=<(-1),0>


mov(<1,0>)=<1,1>·<1,0>=<1,0>
mov(<0,(-1)>)=(-1)·<(-1),(-1)>·<0,(-1)>=<0,(-1)>

funció not

not(<0,0>)=<0,0>+<(-1),(-1)>=<(-1),(-1)>
not(<(-1),(-1)>)=<(-1),(-1)>+<1,1>=<0,0>


not(<0,1>)=<0,1>+<(-1),(-1)>=<(-1),0>
not(<(-1),0>)=<(-1),0>+<1,1>=<0,1>


not(<1,0>)=<1,0>+<(-1),(-1)>=<0,(-1)>
not(<0,(-1)>)=<0,(-1)>+<1,1>=<1,0>