conduct logic function

I can make a logic function using pull-up and pull-down network as in the picture.
I know how to construct these pull-up and pull-down networks for a specific function. However, I don't understand why we can construct the function F from these networks. Is there any proof that the F function below can be conducted by using pull-up and pull-down networks as in the picture?