Russ Cox finds the 'hardest' 5-variable Boolean functionresearch.swtch.com5 pointstaliesinb14 years ago