10.4 真值函数论证（详版）