Truth/Link Interconnect Logic Diagrams  As of version 1.00

 

Logic diagrams are displayed in the heads-up panel to the upper left of the grid. Clicking on the raised rectangle will show --> enlarge --> or hide the display. Interconnect logic diagrams dimensionless and do not depend on the identity of rows, columns, boxes, and cells.

 

Logic Diagram Format. The logic diagram is a two dimensional representation of the connections between truths and links. Rows represent the truths in the logic and columns represent individual links. The nodes of the diagram represent the connection of truths and links at candidates. A node can represent more than on candidate at the intersection of a box and a line (row, column).

 

Logic diagrams can be manually rearranged by left clicking on individual nodes and moving the mouse vertically or horizontally. The last line in a diagram usually contains the eliminations for the logic. The elimination line can be turned off by selecting [LogicTools] / [ Internal Settings ] in the main menus.

 

Candidates that appear only once in the diagram are marked by a small colored box. When a candidate appears in more than one link or in more than one truth, it is marked using unique letter, starting with A, B, C, ... etc. Green boxes symbolize single candidates. Other color boxes symbolize multiple candidates at the same intersection, which may happen at box/row or box/column intersections with 2 or 3 candidates. Multiple candidates at the intersection of boxes and lines make no difference to the logical solutions!

 

Clipboard output. Diagrams can be copied to the clipboard. In clipboard output, multiple candidates at an intersection are all written out explicitly. There are three output formats:

 

1.         Symbols, candidates are replaced by stars and letters.

2.         Short form notation, the candidates are listed by 3 digits in NCR format.

3.         Long form notation, the candidates are listed by 3 digits in NCR format.

 

Truths are designated along the left margin and links are designated along the top row in some output formats. The truth Elim contains the eliminations for the logic, if any. Below are three example outputs for a simple discontinuous loop.

 

Symbols

   

9B1: *==*       

     *  |       

     |  |       

4C3: |  *==*    

     |     |    

7B4: |     *==* 

     |        | 

Elim:A........A 

                                          

Short Form Notation

 

     9c2  1n3  5n3  6n2

9B1: 912==913           

     932   |            

      |    |            

4C3:  |   413==453      

      |         |       

7B4:  |        753==762 

      |              |  

Elim: 962A..........962A

                        

Long Form Notation

 

     (9c2)  (1n3)  (5n3)  (6n2)

9B1: 9r1c2==9r1c3               

     9r3c2    |                 

       |      |                 

4C3:   |    4r1c3==4r5c3        

       |             |          

7B4:   |           7r5c3==7r6c2 

       |                    |   

Elim: 9r6c2A.............9r6c2A