Case 1:

TRUE
3 4 

FALSE
1 

UNDEFINED
0 2 

Case 2:

CONTRADICTION

Case 3:

TRUE
0 

FALSE


UNDEFINED