Este documento describe las propiedades de las operaciones lógicas como la idempotencia, asociatividad, conmutatividad, distributividad, identidad, complemento, condicionantes y De Morgan. Además, muestra un ejemplo de cómo usar estas propiedades para simplificar una proposición compuesta y determinar su valor de verdad.