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 |