George Boole: The Man behind "And/Or/Not"