なんかできます
D0(y) <- ((PM(y) & HP(y-1)) + HP(y-1)) ^ HP(y-1) | PM(y) | HN(y-1)
VP(y) <- HN(y-1) | ~(D0(y) | HP(y-1))
VN(y) <- D0(y) & HP(y-1)
HP(y) <- (VN(y) << 1) | ~(D0(y) | ((VP(y) << 1) | 1))
HN(y) <- D0(y) & ((VP(y) << 1) | 1)
ただし PM(x,y) は A(x)==B(y) なら 1