andxfalsefalseandxnotfalsexnotnotxximpliesfalseynotfalseimpliesxfalsenotximpliesnotxnotyimpliesyandxyimpliesfalseynotfalseimpliesxfalsenotximpliesnotxnotyimpliesyandxyimpliesnotxnotyandxytrueimpliesnotxnotyimpliesyandxytrue1231implies21112not1111and2111false01andxfalsefalseandxnotfalseximpliesfalseynotfalsefalseimpliesxfalsenotxfalseimpliesnotxnotyandxyfalse