门电路实验的命题公式G=（pvq）^-p 就是指当p为真时，G等于q的反值。也就是说，如果p为真，则G等于not q。