The **associative property** is a property of some binary operations (such as multiplication and addition in arithmetic). If an operation has the associative property, then if there is a sequence within some expression that contains two or more instances of that same operator, then the operations can be done in any order without changing the outcome. That is, the parentheses can be rearranged or the operations can be "regrouped" without changing the outcome. For example, in arithmetic, More examples of binary operations with this property are conjunction and disjunction.

It is also a replacement rule of propositional logic that consists of the two following subrules:

.

**Rules of inference**

Modus Ponens | Modus Tollens | Disjunctive Syllogism | Hypothetical Syllogism | Conjunction Introduction | Conjunction Elimination | Disjunction Introduction | Disjunction Elimination | Bicondional Introduction | Biconditional Elimination | Constructive Dilemma | Destructive Dilemma | Absorption | Modus ponendo tollens

**Rules of Transformation**

Double Negation | **Associative property** | Commutative property | Distributive property | DeMorgan's Laws | Tautology | Exportation | Material Implication | Transposition