Figure 1: Truth table for z(a,b,c). Only a=0 and c=1 enables propagation from b to z.