Difference between revisions of "Template:Logic functions"

From blackwiki
Jump to navigation Jump to search
imported>Hyacinth
({{Logic templates}})
imported>Hyacinth
m ({{documentation|content=)
 
Line 61: Line 61:
 
|-
 
|-
 
|}<noinclude>
 
|}<noinclude>
 +
{{documentation|content=
 +
This template serves the purpose of ...
  
 
{{Logic templates}}
 
{{Logic templates}}
Line 67: Line 69:
 
[[Category:Mathematics templates]]
 
[[Category:Mathematics templates]]
 
[[Category:WikiProject Logic|τ]]
 
[[Category:WikiProject Logic|τ]]
 +
}}
 
</noinclude>
 
</noinclude>

Latest revision as of 04:03, 18 May 2016

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 <math>\not\rightarrow</math> 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 <math>\not\leftarrow</math> 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 <math>\leftarrow</math> 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 <math>\rightarrow</math> 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.