andxfalsefalseandxnotfalsexnotnotxximpliesfalseynotfalseimpliesxfalsenotximpliesnotxnotyimpliesyandxy1implies221225not1210and211120false00andxfalsefalseandxnotfalsexnotnotxximpliesnotxnotyimpliesyandxy1implies241222not1414and211220false00andxfalsefalse1and211122false04