Idempotence expresses an important property of conjunction and disjunction.
Preview shown for the Point And Click derivation type in the The Logic Book system