Mathematics as Information Compression via the Matching and Unification of Patterns

Table 3

A table to define the XOR logical function.

Input (1)	Input (2)	Output
1	1	0
0	1	1
1	0	1
0	0	0