Lógica proposicional

Lógica proposicional
Active — user can report