Questions for all Design By Contract practitioners -

If my class ( E ) implements three interfaces (A, B & C) and extends class D, each with its own pre-conditions and post-conditions and some invariants.
Class E also has few pre-conditions and post-conditions and some invariants.

Pre-conditions can be weakened. So presumably it is an OR clause binding all the pre-conditions of A, B, C, D & E. The question is in what order?

Post-conditions can be strengthened.
So presumably I should AND all the pre-conditions of A, B, C, D & E. Is that correct?

Nothing I could find aboout inheritance of Invariants. How would you join all the invariants of A-E classes? AND clause?

Looking forward for your responses….