A|C
B&D
.C
.(A|C)
E
