(!(A & B) | (A & C & (A & B & D | !(A & !(!B & D))))