(a && ! b && !(c && d) || !a && !e && c)