!A || (A && B) #### !A || B