Propositional-Logic

Lógica proposicional para informática