Think of it as information, not voltage. An XOR produces information. A lot of XORS with ANDs make a calculator which opens up an entire vectorspace of mathematical information.
Do you, by any chance, have links or recommendations for material to read up on architectures that do consider ML models as composable gates?