Interesting. Seems like software could be made a notch more robust by encoding true and false with a larger number of bit differences.
Also, at the machine code level, a Boolean controlling a branch or a while loop often doesn't ever make it out of the flags register, where it'll only be a single bit anyway because that's how the hardware works. Not really changeable in software.