Exact symbolic artificial intelligence for faster, better assessment of AI fairness