制作命题¬q [（pΛq）V~p]的真值表？

回答：

见下文。

鉴于： #not p - > （p ^^ q）vv~p#

逻辑运算符：#“不是p：”不是p，~p; “和：”^^;或：VV#

逻辑表，否定：

#ul（|“”p |“”q |“”~p |“”~q |）#

#“”T |“”T |“”F |“”F |#

#“”T |“”F |“”F |“”T |#

#“”F |“”T |“”T |“”F |#

#“”F |“”F |“”T |“”T |#

逻辑表和&或：

#ul（|“”p |“”q |“”p ^^ q“”|“”qvvq“”|）#

#|“”T |“”T |“”T“”|“”T“”|#

#|“”T |“”F |“”F“”|“”T“”|#

#|“”F |“”T |“”F“”|“”T“”|#

#|“”F |“”F |“”F“”|“”F“”|#

逻辑表，如果那样：

#ul（|“”p |“”q |“”p-> q“”|）#

#|“”T |“”T |“”T“”|#

#|“”T |“”F |“”F“”|#

#|“”F |“”T |“”T“”|#

#|“”F |“”F |“”T“”|#

鉴于逻辑命题第1部分：

#ul（|“”p ^^ q“”|“”~p“”|“”（p ^^ q）vv~p |）#

#|“”T“”|“”F“”|“”T“”|#

#|“”F“”|“”F“”|“”F“”|#

#|“”F“”|“”T“”|“”T“”|#

鉴于逻辑命题第2部分：

#ul（|“”~q“”|“”（p ^^ q）vv~p |“”~q - >（p ^^ q）vv~p |）#

#|“”F“”|“”T“”|“”T“”|#

#|“”T“”|“”F“”|“”F“”|#

#|“”F“”|“”T“”|“”T“”|#

#|“”T“”|“”T“”|“”T“”|#