Este documento presenta conceptos básicos de lógica, incluyendo operaciones lógicas como la doble implicación y equivalencias lógicas, y explica cómo manipular algebraicamente la forma normal conjuntiva.Leer menos