Have you actually tried reading a single law? If you have, have you tried to write just one article in formal logic?

Certain laws, like parts of tax law may be possible to turn into code, like percentages and deadlines, but even those often carry natural language conditions that can't be evaluated so easily. Seriously, try it.