当A=B=true时,┐A就是false,
┐A∧B就是false∧true,结果就是falsefalse∧true什么意思∧是逻辑与的符号。