Mathematics as Information Compression via the Matching and Unification of Patterns

Table 2

A table to define a function for the addition of two one-bit numbers in binary arithmetic, with provision for the carrying out of one bit.

Input (1)	Input (2)	Sum	Carry
1	1	0	1
1	0	1	0
0	1	1	0
0	0	0	0