Exercise 1: Why No Single Line Can Separate XOR's Two Classes — Possible Solution ==================================================================== THE FOUR POINTS AND THEIR TWO DIAGONALS, PER THIS CHAPTER ------------------------------ Per this chapter's own truth table, XOR's four input combinations and outputs are: (0,0)→0, (0,1)→1, (1,0)→1, (1,1)→1→0 [i.e. (1,1)→0]. Per this chapter, "the two points that should output 1 — (0,1) and (1,0) — sit on one diagonal. The two that should output 0 — (0,0) and (1,1) — sit on the other diagonal." WHAT A SINGLE STRAIGHT LINE CAN ACTUALLY DO, GEOMETRICALLY ------------------------------ A single straight line divides a 2D plane into exactly two regions — everything on one side, everything on the other. For a line to correctly classify XOR, every point that should output 1 would need to fall on one side of the line, and every point that should output 0 would need to fall on the other side, with no exceptions. WHY THE DIAGONAL ARRANGEMENT SPECIFICALLY DEFEATS ANY SUCH LINE ------------------------------ The two "output 1" points, (0,1) and (1,0), sit at opposite corners of the unit square (a diagonal). The two "output 0" points, (0,0) and (1,1), sit at the OTHER opposite corners (the other diagonal). Any straight line drawn through this square will inevitably cross one diagonal on its way across the plane — geometrically, a single straight line can separate points along one diagonal cleanly from points along the other diagonal only if the two diagonals themselves don't cross each other's own regions, but by definition, the two diagonals of a square DO cross directly through the middle of it. Consequently, any line attempting to put both (0,1) and (1,0) on one side will necessarily also have to decide which side (0,0) and (1,1) fall on — and because of the crossing, symmetric geometry of the two diagonals, at least one of the four points always ends up on the wrong side of whatever single line is drawn. WHY THIS IS TRUE FOR EVERY POSSIBLE LINE, NOT JUST SOME ------------------------------ This isn't a limitation of one particular badly-chosen line — it's a property of the points' own arrangement itself. Because the two "1" points and the two "0" points are positioned at OPPOSITE diagonal corners of the same square, any line's own single straight boundary can be rotated or shifted to correctly separate one diagonal pair from the other diagonal pair only by cutting directly between them at some angle — but attempting this reveals that the four points alternate around the square's own perimeter (1, 0, 1, 0 going around), meaning a single straight cut through the plane always leaves points from both classes on at least one side. WHY THIS WORKS AS AN ANSWER ------------------------------ It identifies the two diagonals precisely as the chapter describes them, explains what a single straight line can and cannot do geometrically to a set of points, and explains why the specific diagonal-opposite arrangement of XOR's own four points makes correct single-line separation geometrically impossible for every possible line, not merely difficult for some.