andxfalsefalseandxnotfalsexnotnotxximpliesfalseynotfalseimpliesxfalsenotximpliesnotxnotyimpliesyandxyimpliesfalseynotfalseimpliesxfalsenotximpliesnotxnotyimpliesyandxyimpliesnotxnotyandxytrueimpliesnotxnotyimpliesyandxytrue1231implies21112not1111and2111false01implies211112impliesfalseynotfalsefalseimpliesxfalsenotxfalseimpliesnotxnotyandxyfalse