Example CL block #1:

Formal Functional Specifications:

1. C-Like language form:

   if ((x₀ == 1) && (x₁ == 0)) !! ((x₀ == 0) && (X₁ == 1)) y₀ = 1;
   else Y₀ = 0;

2. Truth Table Form:

   x0 x1	y0
   0 0	0
   0 1	1
   1 0	1
   1 1	0