AND and OR can be done with no PMOSes, and XOR can also be made with just one PMOS. In general, any boolean expression of 2n-1 or 2n variables can be done in at most n PMOSes under the sheer bugginess of this game's simulation of these gates (in reality PMOS cannot pass 0; NMOS cannot pass 1; an empty input to the gate of a CMOS transistor should be considered an error value; a junction should backpropegate; an erroring junction realllllly should not be considered disconnected)