Lawyers drafting indictments directly related to a technical subject should have them proof read by someone with knowledge of that subject.
Because you don't have knowledge of the subject.
The subject at hand being the law.
On the other hand, understanding formal logic is of practical value in the legal industry; I was thinking of building searches to find electronic documents which is a real thing that (clueless) people (try to) do. Seems to me like it could potentially be very high stakes, at least in hindsight if you screw it up.
I don't know if boolean logic is or used to be part of a law school curriculum. It just seems to me a bit surprising if it isn't.