(X!='C') || !((B>A) || (B==A) || (A<=2))
==> (X=='C') && (B>=A) || (A<=2)
 

!((X!='2')==false) && (B<10)
==> (X=='2') || (B>=10)


(A!=10) && (A==10)
==> true

((A>=B) && !(B>10)) || (!((A<B) || (B>10)))
==> (A<B) || (B>10)
 
!(!(A % B == 0) || (!(A<2) || !(X=='X')))
==> (A % B != 0) || (A>=2) || (X!='X')

false || (!(A!=B) && (B<10))
==> (A!=B) || (B>=10)