逻辑式与真值表 (1)