Template:Logic functions
INPUT | A | 0 | 0 | 1 | 1 | Meaning | |
---|---|---|---|---|---|---|---|
B | 0 | 1 | 0 | 1 | |||
OUTPUT | FALSE | 0 | 0 | 0 | 0 | Whatever A and B, output is false. Contradiction. | |
A AND B | 0 | 0 | 0 | 1 | Output is true if and only if (iff) both A and B are true. | ||
A B | 0 | 0 | 1 | 0 | A doesn't imply B. True if A but not B. | ||
A | 0 | 0 | 1 | 1 | True whenever A is true. | ||
A B | 0 | 1 | 0 | 0 | A is not implied by B. True if not A but B. | ||
B | 0 | 1 | 0 | 1 | True whenever B is true. | ||
A XOR B | 0 | 1 | 1 | 0 | True if A is not equal to B. | ||
A OR B | 0 | 1 | 1 | 1 | True if A is true, or B is true, or both. | ||
A NOR B | 1 | 0 | 0 | 0 | True if neither A nor B. | ||
A XNOR B | 1 | 0 | 0 | 1 | True if A is equal to B. | ||
NOT B | 1 | 0 | 1 | 0 | True if B is false. | ||
A B | 1 | 0 | 1 | 1 | A is implied by B. False if not A but B, otherwise true. | ||
NOT A | 1 | 1 | 0 | 0 | True if A is false. | ||
A B | 1 | 1 | 0 | 1 | A implies B. False if A but not B, otherwise true. | ||
A NAND B | 1 | 1 | 1 | 0 | A and B are not both true. | ||
TRUE | 1 | 1 | 1 | 1 | Whatever A and B, output is true. Tautology. |
Template documentation
This template serves the purpose of ...