Editing Laws of Form (section)

===An example of calculation===
The following calculation of [[Gottfried Wilhelm Leibniz|Leibniz]]'s nontrivial ''Praeclarum Theorema'' exemplifies the demonstrative power of the ''primary algebra''. Let C1 be <math>\overline{\overline{A |} \Big|}</math> =''A'', C2 be <math>A \ \overline{A \ B |} = A \ \overline{B |}</math>, C3 be <math>\overline{\ \ |} \ A = \overline{\ \ |}</math>, J1a be <math>\overline{A |} \ A = \overline{\ \ |}</math>, and let OI mean that variables and subformulae have been reordered in a way that commutativity and associativity permit.

{|
| [(''P''→''R'')∧(''Q''→''S'')]→[(''P''∧''Q'')→(''R''∧''S'')].
| ''Praeclarum Theorema''.
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
| S
|}
|}
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|}
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|}
| .
|}
| ''primary algebra'' translation
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
| S
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|}
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|}
| .
|}
| C1.
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
| S
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|}
| .
|}
| C1.
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
| S
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|}
| .
|}
| OI.
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
| S
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|}
| .
|}
| C2.
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
| S
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|}
| .
|}
| OI.
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|}
| .
|}
| C2.
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|}
| .
|}
| OI.
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|}
| .
|}
| C2.
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
| S
| .
|}
| C1.
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| S
|}
| S
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
| .
|}
| OI.
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| <span style="color:white;">B</span>
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
| .
|}
| J1a.
|-
|
{|
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| <span style="color:white;">B</span>
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| P
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| Q
|}
|
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| R
|}
|.
|}
| OI.
|-
| 
{| style="border-top: 2px solid black; border-right: 2px solid black;"
| <span style="color:white;">B</span>
|}
| C3. <math>\square</math>
|}