(
a
∧
¬
c
∧
d
)
∨
(
b
∧
d
)