The solution is depicted in Figure 5.2(b). Note that ‘0’ ? ‘1’ (that is, a?a) and AND ? OR were…


The solution is depicted in Figure 5.2(b). Note that '0' ↔ '1' (that is, a↔a) and AND ↔ OR were swapped. Two solutions are shown, one using ticks ( ) to state violation, the other using bubbles.