Este documento presenta las principales leyes del álgebra proposicional, incluyendo leyes de idempotencia, identidad, conmutativas, asociativas, distributivas, doble negación, tercer excluido, contradicción y De Morgan. También define la condicional como una abreviatura de la disyunción y explica cómo usar tablas de verdad para demostrar las leyes y evaluar proposiciones. El deber consiste en elaborar tablas de verdad para verificar si ciertas proposiciones son tautologías.