Boolean Logic on the Tech Tree