(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’))