נתונה ההצהרה הבאה:
int x,y,z;
char F,h;
int B,M;

תני דגמת קלט שעבורה תהיה התוצאה בB- ותוצאה ב-M TRUE ודגמת קלט שעבורה תהיה התוצאה FALSE בשני המשתנים.
(מדובר על תוצאות סופוית)
B= ! (x+y==z);
M=(b && (x>y));
B=! ( (x==y)|| (y==z));
M=((x>y)|| ! (x=z));
B=(y>z);
M=! B;
B= (M || (4==x);
M=( ! (x==8) && !(y=9));
M=!((x=8)&& (y=9));

איך לפתור תזין הזה ?