X or Y equals Y or X. p implies (p or q). X or Y equals Y or X). (X or Y) or Z equals X or (Y or Z). (p and q) implies p. X or not X equals Y or not Y. (X and Y equals Y and X. x0 or x0 equals x0. not not z equals z . x1 or y1 and not y1 equals x1 . X098 or Y765 or not Y765 equals Z4321 or not Z4321. X and Y equals Y and X. (X or Y) or Z equals X or (Y or Z). (X and Y) and Z equals X and (Y and Z). X and Y or X and Z equals X and (Y or Z). (X or Y) and (X or Z) equals X or Y and Z. X or X and Y equals X.X and (X or Y) equals X. X and Y or X and not Y equals X. X and Y or not X and Z or Y and Z equals X and Y or not X and Z. (X or Y) and (not X or Z) and (Y or Z) equals (X or Y) and (not X or Z) a0 or a1 or a2 or a3 or a4 or a5 or a6 or a7 or a8 or a9 equals a0 or a1 or a2 or a3 or a4 or a5 or a6 or a7 or a8 or a9. (p and (p implies q)) implies q. (X or Y) Z equals X (Y or Z). (not q and (p implies q)) implies not p. (X1a and Y2b) and Z equals X1a and (Y2b and Z). ((p implies q) and (q implies r)) implies (p implies r). p implodes (p or q). ((p or q) and not p) implies q. x1 or y1 equals y2 or x2. (p and) implies p. x and y equals Y and X. (p and (implies)) implies q. (X or Y) or Z equals X or (Y or not Z). X and Y or not X and Z or Y and Z implies X and Y or not X and Z. a0 or a1 or a2 or a3 or a4 or a5 or a6 or a7 or a8 or a9 equals a0 or a1 or a2 or a3 or a4 or a5 or a6 or a7 or a8.