Checks if no elements of a product type are true.
On a record type, the function operates on the underlying elements of the fields.