Table of Contents
Advertisement
Table 12: Truth tables for Exclusive Disjunction Operation
Input Output
A B
0
0
1
1
IV - NOT (Negation)
This operator can be represented by the symbol "
Negation function takes Falsity to Truth and vice versa.
Main properties:
• Double negation:
• Distributivity (Morgan's law):
User's Manual
A⊕B
A B C A⊕B C
0
0
0 0 0
1
1
0 0 1
0
1
0 1 0
1
0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
¬¬ A⇔ A
¬¬¬ A⇔ ¬A
and
¬( A∨B)⇔(¬A∧¬ B)
Table 13: Truth table for NOT Operation
Output
Input
A B C D A⊕B C D
⊕
0
0 0 0 0
1
0 0 0 1
1
0 0 1 0
0
0 0 1 1
1
0 1 0 0
0
0 1 0 1
0
0 1 1 0
1
0 1 1 1
1 0 0 0
1 0 0 1
1 0 1 0
1 0 1 1
1 1 0 0
1 1 0 1
1 1 1 0
1 1 1 1
". Negation is unary (single-argument) logical operator.
¬
;
¬( A∧B)⇔(¬A∨¬ B)
and
A
¬A
0
1
1
0
Appendixes
Output
⊕ ⊕
0
1
1
0
1
0
0
1
1
0
0
1
0
1
1
0
;
Page 42
Advertisement
Table of Contents
