Truth Tables

INV
in out
0 1
1 0

AND (NAND)
a b x x
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 0
OR (NOR)
a b x x
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 0
XOR (↔)
a b x x
0 0 0 1
0 1 1 0
1 0 1 0
1 1 0 1
NOR (OR)
{NOT+AND}
a b x x
1 1 1 0
1 0 0 1
0 1 0 1
0 0 0 1

Adder (Half)
a b S C
0 0 0 0
0 1 1 0
1 0 1 0
1 1 0 1
Adder (Full)
Ci a b S Co
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1