User contributions
21 May 2012
Logical matrix
Peer nodes: update
-136
Differential logic
del <br><sharethis />
-19
Differential logic
Peer nodes: update
-152
Minimal negation operator
del <br><sharethis />
-19
20 May 2012
17 May 2012
16 May 2012
Logical implication
unlink proposition for now
-4
Logical negation
no edit summary
-19
Logical NNOR
no edit summary
-19
Logical NAND
no edit summary
-19
Logical implication
no edit summary
-19
Logical equality
no edit summary
-19
Logical disjunction
no edit summary
-19
Logical conjunction
no edit summary
-19
Exclusive disjunction
no edit summary
-19
Truth table
Peer nodes: update
-124
Truth table
no edit summary
-19
Logical NNOR
“Neither Nor”
+14
Truth table
Logical NNOR
+405
Truth table
Logical NAND
+450
Truth table
Logical implication
+433
Truth table
Exclusive disjunction
+458
Truth table
Logical equality
+422
Truth table
Logical disjunction
+396
Truth table
Logical conjunction
+378
Truth table
Logical negation
-4
Logical NNOR
no edit summary
-4
Logical NAND
no edit summary
-4
Logical equality
no edit summary
-4
Logical disjunction
no edit summary
-4
Logical conjunction
no edit summary
-4
Truth table
Logical negation: TeX
+347
Logical negation
unlink
-4
Truth table
no edit summary
+4
Truth table
split long sentence
+24
Truth table
Mehr Licht !
+118
Truth table
clarify a fine point
+884
Logical negation
del 2 wikilinks
-26
Logical negation
Peer nodes: update
+28
Logical negation
update
+371
15 May 2012
Logical NNOR
Peer nodes: update
+28
Logical NNOR
update
+379
Logical NAND
Peer nodes: update
+28
Logical NAND
comma
+1
Logical NAND
TeX
+451
Logical implication
Discussion
Logical implication
Definition
-24
Logical equality
no edit summary
-3
Logical disjunction
no edit summary
-3