Software de logica proposicional