Skip to main content

Section 2.5 逻辑表达式与布尔表达式

逻辑表达式与布尔表达式.
  • 命题常量与逻辑运算符组成的可计算出唯一逻辑值的式子叫作逻辑表达式。
  • \(0 \wedge 1 \vee 0\)不叫逻辑表达式，因为不含有命题常量。
  • \(0 \wedge 1 \vee 0\)叫布尔表达式，因为0,1都是布尔值。
  • 逻辑表达式都是布尔表达式，但布尔表达式不一定是逻辑表达式。
  • 设p:1=1,q:3>2, 则\(p \wedge q \vee p \)叫逻辑表达式。
优先级.

括号>否定>合取>析取>蕴含>等价