Resultado de la búsqueda: la lògica proposicional i les taules de veritat