X	Y	¬Y	X ∧ ¬Y
0	0	1	0
0	1	0	0
1	0	1	1
1	1	0	0