Title: LA Logica Del Ordenador: Analisis Proposicional Y Circuitos Logicos/Computer Logic