Table 1.
Name | Description | Def | Sh | t | - | x y | - - - | |
r1 | 1 a1 + 1 !ph1 = 1 k1 | | | # | 1 | 1 | 0 | 310 346 | 1 1 0 |
r2 | 1 a1 = 1 ph2 | | | # | 0 | 2 | 0 | 689 285 | 1 1 0 |
r3 | = 1 r1 | | | 0 | 0 | 1 | 0 | 373 134 | 1 1 0 |
r4 | = 1 r2 | | | 0 | 0 | 1 | 0 | 621 77 | 1 1 0 |
r5 | 1 inputk3r = 1 k3r | | | 1 | 0 | 1 | 0 | 485 493 | 1 1 0 |
r6 | 1 k1 + 1 k3r = 1 k3p1 | | | # | 0 | 1 | 0 | 317 434 | 1 1 0 |
r7 | 1 k2 + 1 k3r = 1 k3p2 | | | # | 0 | 1 | 0 | 624 474 | 1 1 0 |
r8 | 1 k3p1 = 1 ph1 | | | # | 0 | 2 | 0 | 259 493 | 1 1 0 |
r9 | 1 !r1 + 1 r2 = 1 a2 | | | # | 0 | 1 | 0 | 633 269 | 1 1 0 |
r10 | 1 r1 = 1 a1 | | | # | 0 | 1 | 0 | 322 188 | 1 1 0 |
r11 | 1 a2 + 1 k1 = 1 k2 | | | # | 0 | 1 | 0 | 596 410 | 1 1 0 |
r12 | 1 a2 + 1 ph2 = 1 k2 | | | # | 0 | 1 | 0 | 629 411 | 1 1 0 |
r13 | 1 tf1 = | | | # | 0 | 1 | 0 | 472 718 | 1 1 0 |
r14 | 1 k3p1 = 1 tf1 | | | # | 0 | 1 | 0 | 429 626 | 1 1 0 |
r15 | 1 k3p2 = 1 tf1 | | | # | 0 | 1 | 0 | 496 625 | 1 1 0 |
r16 | 1 k3p1 + 1 k3p2 = 2 tf1 | | | # | 0 | 1 | 0 | 471 653 | 1 1 0 |
The table shows the file exported to CNA [6], where Def means default value, # codes an non-determined value, Sh whether an element posses an incomplete truth table (1) (i.e., is a somehow, see main text) or not (0), t the time scale, and x and y the positions in the map. In CNA an AND connection is coded via '+' instead of '·' and the exclamation mark '!' indicates a NOT.