Leibniz' Theorem
This is Leibniz' Theorem crocheted in Peirce's existential graph-notation. I changed between cuts by switching from white to black, this way it is even easier to distinguish negative and positive contexts.
The theorem in standard notation: (A->B)and (C->D) ->(A and C->B and D).
Which is on the photo: If yellow imples red and blue implies green, then yellow and blue imply red and green.
