Introducción a la Lógica Digital y Tablas de Verdad