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