Obviously all the formula will be equivalent to each other. They are, by construction, all restatements of each other.