记录下Vm~~~学习

A-B<==>not(not(A)+B)

not(A) And not(B)<====>not(A OR B)

not(A) Ornot (B)<====>not(A AND B)

P指的是Not or，如P(a,b)=not(a or b);
P(a,b) = ~a & ~b
not(a) = P(a,a)
and(a,b)= P(P(a,a),P(b,b))
or(a,b) = P(P(a,b),P(a,b))
xor(a,b)= P(P(P(a,a),P(b,b)),P(a,b))
证明：
not(a) = ~a = ~a & ~a = P(a,a)
and(a,b) = a & b = ~(~a) & ~(~b) = P(not(a),not(b)) = P(P(a,a),P(b,b))
or(a,b) = a | b = ~(~(a|b)) = ~(~a & ~b) = ~P(a,b) = P(P(a,b),P(a,b))
xor(a,b) = ~a & b | a & ~b = ~(~(~a & b | a & ~b)) = ~(~(~a & b) & ~(a & ~b)) = ~((a | ~b) & (~a | b)) = ~(1 | 1 | a & b | ~a & ~b) = ~(a & b) & ~(~a & ~b) = P(and(a,b),P(a,b)) = P(P(P(a,a),P(b,b)),P(a,b))

Q(a,b) = ~a | ~b
not(a)   = Q(a,a)    1
and(a,b) = Q(Q(a,b),Q(a,b))   2
or(a,b)   = Q(Q(a,a),Q(b,b))   3
xor(a,b) = Q(Q(Q(a,a),b),Q(a,Q(b,b))) 5

记录下s大的分析
原 VM.ESP: 12FFB0 00000286 12FFB4 0012FFB8 1.经过 VM.push_esp , 变成: 12FFAC 0012FFB0 12FFB0 00000286 12FFB4 0012FFB8 2.再经过 VM.pushd([d]) , 变成: 12FFAC 00000286 <- 复制一份了 12FFB0 00000286 12FFB4 0012FFB8 3.再经过 VM.nor(d,d) EFL,Result 变成: 注: nor is NOR 闸 12FFAC 00000282 <- ELF 12FFB0 FFFFFD79 <- Result 12FFB4 0012FFB8 这3个步骤其实就是 NOT 0286h = FFFFFD79 紧接着上列3个步骤后, 常见下列的动作: 4. VM.pop 丢掉ELF, 变成: 12FFB0 FFFFFD79 <- Result 12FFB4 0012FFB8 5. pushd(decode(followWord)) <- 从opcode处取2 byte当数据, 符号扩展PUSHD 12FFAC FFFFF7EA <- 数据 (亦即 0815的not) 12FFB0 FFFFFD79 <- Result 12FFB4 0012FFB8 6. VM.nor(d,d) EFL,Result 变成: 12FFAC 00000202 <- ELF 12FFB0 00000004 <- Result 12FFB4 0012FFB8 7. VM.pop 丢掉ELF, 变成: 12FFB0 00000004 <- Result 12FFB4 0012FFB8 1~7 其实实现的就是 00000286 & 00000815 = 00000004//这个0815是硬编码了