(X==’C’) || !((B2)) => ! ((X==’C’) || !((B2))) => (X!=’C’) && ((B2)) ------ !(2==2) && (A < 10) => !( !(2==2) && (A < 10)) => !( !(true) && (A < 10)) => !( false && (A < 10)) => !( false ) => true ------ (X==’X’) || (X != ’X’) => ! ((X==’X’) || (X != ’X’)) => ! (true) => false ------ false || ( !(A==B) && (B >= 10)) => ! (false || ( !(A==B) && (B >= 10))) => ! (( !(A==B) && (B >= 10))) => ! ( !(A==B) && (B >= 10)) => (A==B) || (B < 10)) ----- ((A>B) && (B<10)) && ( !(A > B && B <10)) => ! (((A>B) && (B<10)) && ( !(A > B && B <10))) => ! (false) => true ------ !(A % B == 0) || ( !(A<2) || !(X==’C’)) => !(!(A % B == 0) || ( !(A<2) || !(X==’C’))) => (A % B == 0) && !( !(A<2) || !(X==’C’)) => (A % B == 0) && ((A<2) && (X==’C’))