133 .3 真值函数论证模式（简略版）