The property of the connectives conjunction () and disjunction () according to which the conjunction or disjunction of a formula with itself is logically equivalent to the formula in isolation. This property is represented by the following inferences: