8 (b) After resynthesis  Depending on the logic implemented, Boolean matching may determine that this logic block can be implemented by a two node logic block (6 and 7, in Figure 1(b)) saving one LUT.
{}