Just to reiterate: As mentioned briefly earlier, in many (most?) cases, these circuits will work absolutely fine with normal, discrete, 3-terminal MOSFETs. Most circuits I found didn't have the body connection drawn at all:
Why? Because whether you connect the body to the local source or the global GND/VSS, the circuit generally behaves identically, at least in straightforward digital stuff. So the body isn't really worth drawing at all, and you can just build it out of discrete FETs.
Exercise: use your knowledge of discrete FETs, and simulate on paper what that circuit will do for all four input permutations. Figure out Vgs for each transistor, is it on or off, etc etc. You can thus prove all of this stuff for yourself.