Este documento presenta ocho leyes lógicas fundamentales: la ley de involución, la ley de idempotencia, la ley de conmutatividad de la disyunción y la conjunción, y las leyes de asociatividad de la disyunción y la conjunción. Cada ley establece una equivalencia lógica entre diferentes expresiones proposicionales.