logic
symbol | name | formula |
---|---|---|
¬ | negation | not(a) = 1 - a |
∧ | conjunction | and(a, b) = a * b |
⊼ | alternative denial | nand(a, b) = not(and(a, b)) nand(a, b) = 1 - a * b |
∨ | disjunction | or(a, b) = a + b - a * b |
⊽ | joint denial | nor(a, b) = not(or(a, b)) nor(a, b) = 1 - (a + b - a * b) |
⊻ | exclusive or | xor(a, b) = a + b - 2 * a * b |
biconditional | xnor(a, b) = not(xor(a, b)) xnor(a, b) = 1 - (a + b - 2 * a * b) |
a | ¬a |
---|---|
0 | 1 |
1 | 0 |
a | b | a ∧ b | a ⊼ b | a ∨ b | a ⊽ b | a ⊻ b | a XNOR b |
---|---|---|---|---|---|---|---|
0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 |
0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 |
1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 |
1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 |