3.真值表与逻辑函数式